Code: 05248067
This careful, self-contained introduction to first-order logic includes an exposition of certain topics not usually found in introductory texts (such as Trachtenbrot's undecidability theorem, Fraisse's characterization of elementa ... more
34.45 €
Availability:
50/50We think title might be available. Upon your order we will do our best to get it within 6 weeks.Enter your e-mail address and once book will be available,
we will send you a message. It's that simple.
You get 87 loyalty points
This careful, self-contained introduction to first-order logic includes an exposition of certain topics not usually found in introductory texts (such as Trachtenbrot's undecidability theorem, Fraisse's characterization of elementary equivalence, and Lindström's theorem on the maximality of first-order logic). The presentation is detailed and systematic without being long-winded or tedious. The role of first-order logic in the foundations of mathematics is worked out clearly, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. Many exercises accompany the text.§
Book category Książki po angielsku Mathematics & science Mathematics Mathematical foundations
34.45 €
Osobní odběr Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk Wszelkie prawa zastrzeżonePrywatnieCookies
Nákupní košík ( prázdný )