Overview
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