Introduction to Mathematical Logic - The Wadsworth & Brooks / Cole Mathematics Series - Elliot Mendelsohn - Books - Springer-Verlag New York Inc. - 9781461572909 - April 13, 2012
In case cover and title do not match, the title is correct

Introduction to Mathematical Logic - The Wadsworth & Brooks / Cole Mathematics Series Softcover reprint of the original 1st ed. 1987 edition

Price
$ 54.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 14 - 20
Add to your iMusic wish list

Not rated yet

Recursion theory is gone into a little more deeply, including the s-m-n theorem, the recursion theorem, and Rice's Theorem. (3) In Chapter 2, Quantification Theory, Henkin's proof of the completeness theorem has been postponed until the reader has gained more experience in proof techniques.


342 pages, black & white illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released April 13, 2012
ISBN13 9781461572909
Publishers Springer-Verlag New York Inc.
Pages 342
Dimensions 170 × 244 × 19 mm   ·   566 g
Language English  

Mere med samme udgiver