Hardback (01 Jan 1996)
Not available for sale
Out of stock
Intended for a one-semester advanced undergraduate course in mathematical logic, this book requires some prior knowledge of mathematical proof. The authors emphasize proof theory of computation rather than set theory. A disk, featuring numerous examples, is also available (ISBN: 0-07-840027-9).
| ISBN: | 9780070339392 |
| Publisher: | McGraw-Hill Education |
| Imprint: | McGraw-Hill Education |
| Pub date: | 01 Jan 1996 |
| Number of pages: | 352 |
| Weight: | -1g |
$1.81off
Can You Solve My Problems?
Paperback
Published 06 Jul 2017
Save $1.81
At Sixes and Sevens
Hardback
Published 28 Oct 2021
Is Maths Real?
Paperback
Published 06 Jun 2024
$2.75off
How to Prove It
Paperback
Published 18 Jul 2019
Save $2.75
The Art of Logic
Paperback
Published 04 Jul 2019
How to Expect the Unexpected
Paperback
Published 15 Aug 2024
First-Order Logic
Paperback
Published 01 Feb 2000
$55.46off
Classical and Nonclassical Logics
Hardback
Published 20 Sep 2005
Save $55.46
Handbook of Mathematical Fuzzy ...
Paperback
Published 21 Dec 2011
