Introduction to mathematical logic /

other_versions_link
Bibliographic Details
Main Author: Walicki, Michał
Format: Printed Book
Language:English
Published: Singapore ; Hackensack, NJ : World Scientific, 2012.
Subjects:
Logic, Symbolic and mathematical.
Table of Contents:
  • A history of logic
  • Patterns of reasoning
  • A language and its meaning
  • A symbolic language
  • 1850-1950 mathematical logic
  • Modern symbolic logic
  • Elements of set theory
  • Sets, functions, relations
  • Induction
  • Turning 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"?

Similar Items