product iamge

A Beginner's Guide to Mathematical Logic

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Written by a creative master of mathematical logic, this introductory text combines stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic. Author Raymond Smullyan offers clear, incremental presentations of difficult logic concepts. He highlights each subject with inventive explanations and unique problems. Smullyan's accessible narrative provides memorable examples of concepts related to proofs, propositional logic and first-order logic, incompleteness theorems, and incompleteness proofs. Additional topics include undecidability, combinatoric logic, and recursion theory. Suitable for undergraduate and graduate courses, this book will also amuse and enlighten mathematically minded readers. 2014 edition.

Author(s): Raymond M. Smullyan
Series: Dover Books on Mathematics
Edition: Illustrated edition
Publisher: Dover Publications
Year: 2014

Language: English
Pages: 292
Tags: Mathematical Logic

Front
Copyright
Table of Contents
1 Genesis
2 Infinite Sets
3 Some Problems Arise!
4 Further Background
5 Beginning Propositional Logic
6 Propositional Tableaux
7 Axiomatic Propositional Logic
8 Beginning First-Order Logic
9 First-Order Logic: Main Topics
10 Incompleteness in a General Setting
11 Elementary Arithmetic
12 Formal Systems
13 Peano Arithmetic
14 Further Topics
References
Index
Back