Introduction to Mathematical Logic - Michal Walicki - Books - World Scientific Publishing Co Pte Ltd - 9789814343862 - March 31, 2012
In case cover and title do not match, the title is correct

Michal Walicki
Introduction to Mathematical Logic

Price
$ 77.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 29 - Jul 3

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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.

300 pages, illustrations

Media Books     Hardcover Book   (Book with hard spine and cover)
Released March 31, 2012
Original release date 2011
ISBN13 9789814343862
Publishers World Scientific Publishing Co Pte Ltd
Pages 300
Dimensions 164 × 236 × 20 mm   ·   498 g

Mere med samme udgiver

See all of Michal Walicki ( e.g. Hardcover Book and Paperback Book )