Mathematical Logic (Undergraduate Texts in Mathematics)

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

New
Illustrated
1996
$86.65

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.

$86.65

Quantity

20+ in 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

$86.65

Synopsis

$86.65

More Information