Mathematical Logic

Submitted by Anonymous on Sat, 06/24/2023 - 01:13

aw_deep_link:

https://www.awin1.com/pclick.php?p=35997170051&a=718345&m=3787

aw_product_id:

35997170051

merchant_image_url:

merchant_category:

Books

search_price:

27.99

book_author_name:

Heinz-Dieter Ebbinghaus

book_type:

Hardback

publisher:

Springer Nature Switzerland AG

published_date:

29/05/2021

isbn:

9783030738389

Merchant Product Cat path:

Books > Science, Technology & Medicine > Mathematics & science > Mathematics > Mathematical foundations

specifications:

Heinz-Dieter Ebbinghaus|Hardback|Springer Nature Switzerland AG|29/05/2021

Merchant Product Id:

9783030738389

Book Description:

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.

Custom Categories:

Science, Technology & Medicine