Mathematical Logic : An Introduction / Daniel W. Cunningham.
Mathematical Logic: An Introduction is a textbook that uses mathematical tools to investigate mathematics itself. In particular, the concepts of proof and truth are examined. The book presents the fundamental topics in mathematical logic and presents clear and complete proofs throughout the text. Su...
Saved in:
Online Access: |
Full Text (via ProQuest) |
---|---|
Main Author: | |
Format: | Electronic eBook |
Language: | English |
Published: |
Berlin ; Boston :
Walter de Gruyter GmbH,
[2023]
|
Series: | De Gruyter textbook.
|