Mathematical Logic (Undergraduate Texts in Mathematics)

Mathematical Logic (Undergraduate Texts in Mathematics)

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

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.

$97.77

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