• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Mathematical Logic

Mathematical Logic

Paperback

Series: Graduate Texts in Mathematics, Book 291

FictionGeneral Computers

ISBN10: 3030738418
ISBN13: 9783030738419
Publisher: Springer
Published: May 30 2022
Pages: 304
Weight: 0.98
Height: 0.66 Width: 6.14 Depth: 9.21
Language: English

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 Fraïssé's characterization of elementary equivalence, Lindström's theorem on the maximality of first-order logic, and the fundamentals of logic programming.

Also in

Fiction