You are here

Introduction to Mathematical Logic

Publisher: 
World Scientific
Number of Pages: 
268
Price: 
42.00
ISBN: 
9789814343879
Date Received: 
Wednesday, February 29, 2012
Reviewable: 
No
Include In BLL Rating: 
No
Reviewer Email Address: 
Michał Walicki
Publication Date: 
2012
Format: 
Paperback
Category: 
Textbook
Tags: 
  • 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”?
Publish Book: 
Modify Date: 
Wednesday, August 8, 2012

Dummy View - NOT TO BE DELETED