Mathematical Logic

Hardback. New. 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.

Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; Our first goal is Godel's completeness theorem, which shows that the con­ sequence relation coincides with formal provability: By means of a calcu­ lus consisting of simple formal inference rules, one can obtain all conse­ quences of

hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.

paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.

Springer, 2012. Paperback. New. 2nd reprint edition. 301 pages. French language. 9.25x6.10x0.79 inches.