Introduction To Mathematical Logic - Walicki, Michal (Univ Of Bergen, Norway) - Books - World Scientific Publishing Co Pte Ltd - 9789814343879 - December 15, 2011
In case cover and title do not match, the title is correct

Walicki, Michal (Univ Of Bergen, Norway)
Introduction To Mathematical Logic

Price
HK$ 411
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Aug 4 - 14
Get notified about new Walicki, Michal (Univ Of Bergen, Norway) releases

Our customers say:

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

Not rated yet

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     Paperback Book   (Book with soft cover and glued back)
Released December 15, 2011
ISBN13 9789814343879
Publishers World Scientific Publishing Co Pte Ltd
Pages 282
Dimensions 154 × 223 × 15 mm   ·   416 g

More from the same publisher

See all of Walicki, Michal (Univ Of Bergen, Norway) ( e.g. Hardcover Book and Paperback Book )