Mathematical Logic (2nd 1994)

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. It covers several advanced topics not commonly treated in introductory texts, such as Fraisse's characterization of elementary equivalence, Lindstroem's theorem on the maximality of first-order logic, and the fundamentals of logic programming. Read More

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. It covers several advanced topics not commonly treated in introductory texts, such as Fraisse's characterization of elementary equivalence, Lindstroem's theorem on the maximality of first-order logic, and the fundamentals of logic programming. Read Less

• All from $111.32
• New Books from $111.32

• Trade paperback (1)
• Choose Edition (6)

See All Editions

2012 2nd 1994

ISBN:

1475723571

/ ISBN-13:

9781475723571

• Book Details
• Seller
• Sort U.K./EUR Sellers Price: Low to High Price: High to Low Condition Condition: Reverse Pub Date Pub Date: Reverse Sellers Near Me

• Trade paperback, New 2012, Springer ISBN-13: 9781475723571 See Item Details ▾

  Revaluation Books HIGH Exeter, DEVON, UNITED KINGDOM

  $111.32 Add to Basket

  	Edition: 2012, Springer Trade paperback, New	Details: ISBN: 1475723571 ISBN-13: 9781475723571 Pages: 291 Edition: 2nd 1994 Publisher: Springer Published: 2012 Language: English Alibris ID: 17821407627	Shipping Options: Standard Shipping: $4.62 Choose your shipping method in Checkout. Costs may vary based on destination.
  Seller's Description: New. 2nd reprint edition. 301 pages. French language. 9.25x6.10x0.79 inches.
  ► Contact This Seller
  Hide Details ▴

2022, Springer Nature Switzerland AG, Cham ISBN-13: 9783030738419 3rd edition 2021 Paperback See All from $55.96	2021, Springer, Cham ISBN-13: 9783030738389 3rd 2021 edition Hardcover See All from $60.50
2012, Springer, New York, NY ISBN-13: 9781475723571 2nd 1994 Trade paperback See All from $111.32	1994, Springer, New York, NY ISBN-13: 9780387942582 2nd 1994 Hardcover See All from $48.71
1990, Springer, New York, NY ISBN-13: 9780387908953 1984 edition Hardcover See All from $22.00	1985, Springer, New York, NY ISBN-13: 9780387961705 1984 edition Trade paperback See All from $30.38