Introduction to mathematical logic
Auteur :
Walicki, Michał
Éditeur :
World Scientific Publishing Co Pte Ltd
ISBN :
9789814343879
Date de publication :
15 déc. 2011
Langue :
Anglais
Pays d'origine :
Singapour
An introduction to mathematical logic. Starting with the basics of set theory, induction and computability, it covers propositional and first-order logic - their syntax, reasoning systems and semantics. It presents soundness and completeness results for Hilbert's and Gentzen's systems, along with simple decidability arguments.