Check nearby libraries
Buy this book

This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book

Previews available in: English
Edition | Availability |
---|---|
1
Introduction to mathematical logic
2012, World Scientific, World Scientific Publishing Company
in English
9814343862 9789814343862
|
aaaa
|
Book Details
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"?
Edition Notes
Includes index.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
November 16, 2022 | Edited by ImportBot | import existing book |
August 3, 2020 | Edited by ImportBot | import existing book |
July 18, 2012 | Created by LC Bot | import new book |