You are here

Introduction to Mathematical Logic

Michał Walicki
Publisher: 
World Scientific
Publication Date: 
2012
Number of Pages: 
268
Format: 
Paperback
Price: 
42.00
ISBN: 
9789814343879
Category: 
Textbook
We do not plan to review this book.
  • A History of Logic:
    • Patterns of Reasoning
    • A Language and Its Meaning
    • A Symbolic Language
    • 1850–1950 — Mathematical Logic
    • Modern Symbolic Logic
    • Summary
  • Elements of Set Theory:
    • Sets, Functions, Relations
    • Induction
  • Turing Machines:
    • Computability and Decidability
  • Propositional Logic:
    • Syntax and Proof Systems
    • Semantics of PL
    • Soundness and Completeness
  • First-Order Logic:
    • Syntax and Proof Systems of FOL
    • Semantics of FOL
    • More Semantics
    • Soundness and Completeness
  • Why is First Order Logic “First Order”?
Tags: 

Dummy View - NOT TO BE DELETED