• 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

Hardcover

Series: Undergraduate Texts in Mathematics

FictionTeaching Instruction

Currently unavailable to order

ISBN10: 0387942580
ISBN13: 9780387942582
Publisher: Springer
Published: Jun 10 1994
Pages: 291
Weight: 1.30
Height: 1.00 Width: 6.40 Depth: 9.40
Language: English
This junior/senior level text starts with a thorough treatment of first-order logic and its role in the foundations of mathematics. It covers several advanced topics, not commonly treated in introductory texts, such as Trachtenbrot's undecidability theorem, 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