|
|
|
books
| book details |
Mathematical Logic: An Introduction
By (author) Daniel Cunningham
|
|
This book is currently unavailable. Enquire to check if we can source a used copy
|
| book description |
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. Such proofs are used to develop the language of propositional logic and the language of first-order logic, including the notion of a formal deduction. The text also covers Tarski's definition of truth and the computability concept. It also provides coherent proofs of Godel's completeness and incompleteness theorems. Moreover, the text was written with the student in mind and thus, it provides an accessible introduction to mathematical logic. In particular, the text explicitly shows the reader how to prove the basic theorems and presents detailed proofs throughout the book. Most undergraduate books on mathematical logic are written for a reader who is well-versed in logical notation and mathematical proof. This textbook is written to attract a wider audience, including students who are not yet experts in the art of mathematical proof.
| product details |
Normally shipped |
Publisher | De Gruyter
Published date | 22 May 2023
Language |
Format | Digital (delivered electronically)
Pages | 270
Dimensions | 0 x 0 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-1107-8219-6
Readership Age |
BISAC | philosophy / logic
| other options |
|
|
|
To view the items in your trolley please sign in.
| sign in |
|
|
|
| specials |
|
|
Mason Coile
Paperback / softback
224 pages
was: R 520.95
now: R 468.95
|
A terrifying locked-room mystery set in a remote outpost on Mars.
|
|
|
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?
|
|
|
|
