Mathematical Logic

This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions.

• | Author: Heinz-Dieter Ebbinghaus, Wolfgang Thomas, Jorg Flum
• | Publisher: Springer Nature Switzerland AG
• | Publication Date: May 29, 2021
• | Number of Pages:
• | Language:
• | Binding: Hardback
• | ISBN-13: 9783030738389
• | ISBN-10: 3030738388