ISBN-13: 9789814343879 / Angielski / Miękka / 2011 / 280 str.
ISBN-13: 9789814343879 / Angielski / Miękka / 2011 / 280 str.
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.