An edition of Introduction to mathematical logic
(2017)
Introduction to mathematical logic
Extended edition.
by Michał Walicki
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Introduction to mathematical logic
2017, World Scientific Publishing Co Pte Ltd
in English
- Extended edition.
9814719951 9789814719957
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Table of Contents
A history of logic
A language and its meaning
A symbolic language
1850-1950 : mathematical logic
Modern symbolic logic
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
Diagnosing paradoxes
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 indexes.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
History
- Created May 24, 2019
- 4 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| August 17, 2023 | Edited by ImportBot | import existing book |
| October 11, 2020 | Edited by ImportBot | import existing book |
| August 5, 2020 | Edited by ImportBot | import existing book |
| May 24, 2019 | Created by MARC Bot | Imported from marc_openlibraries_sanfranciscopubliclibrary MARC record |