Leary, Christopher C.
A Friendly Introduction to Mathematical Logic
- ISBN 13:
- 9781942341079
- author:
- Leary, Christopher C.
- format:
- Paperback / softback
- publisher:
- Milne Library
- language:
- English
- Publication Year:
- 2015
- Pages:
- 380
- Dimensions:
- 22.9 x 15.2 x 2.2 centimetres (0
- Genre:
- Computers, Programming, General,
- Condition:
- New
- Availability:
- Item usually sent within 5 working days
Description
A Friendly Introduction to Mathematical Logic by Christopher C. Leary and Lars Kristiansen is an accessible exploration of mathematical logic at its core. This expanded edition builds upon the first edition, introducing readers to model theory, proof theory, and computability theory in a user-friendly manner. Suitable for either classroom use or self-study, it provides a rigorous introduction to key concepts, including Gödel's First and Second Incompleteness Theorems. The text has been updated to include a new section on incompleteness through computability, as well as solutions to selected exercises. This allows readers to engage with the subject in depth, exploring its foundations and limitations. With its clear explanations and structured approach, this book is an ideal resource for those looking to understand mathematical logic.
Related Products
Related Products
An Introduction to Mathematical Logic
Richard E. Hodel
Logic and Discrete Mathematics: A Concise Introduction
Willem Conradie, Valentin Goranko
Logic is not Mathematical (Studies in Logic)
Slater, Hartley
Mathematical Logic
Willard Van Orman Quine
Many-Valued Logics: A Mathematical and Computational Introduction. Second Edition
Augusto, Luis M.