Paperback / softback. New. 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. ISBN 9814343870 9789814343879 [GB]

New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Introduction to Mathematical Logic. ISBN 9814343870 9789814343879 [GB]

ISBN10: 9814343870, ISBN13: 9789814343879, [publisher: World Scientific Publishing Company] Softcover nach der Bestellung gedruckt Neuware - Printed after ordering - This is a systematic and well-paced introduction to mathematical logic. Excellent as a course text, the book does not presuppose any previous knowledge and can be used also for self-study by more ambitious students.
[Einbeck, Germany] [Publication Year: 2011]
Show/Hide image