Mathematical Logic (Undergraduate Texts in Mathematics)

by H.-D. Ebbinghaus (Author), J. Flum (Author), W. Thomas (Author)

New
Illustrated
1996
$57.35

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines.

Synopsis

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines.

$57.35

Save:$13.55 (19%)

Quantity

Temporarily out of stock

More Information

Format: Illustrated
Pages: 308
Edition: 1994. Corr. 2nd
Publisher: Springer
Published: 01 Dec 1996
ISBN 10: 0387942580
ISBN 13: 9780387942582

Mathematical Logic (Undergraduate Texts in Mathematics)

New

$57.35

Synopsis

$57.35

More Information