Beginner's Guide to Mathematical Logic
De (autor): Raymond M. Smullyan
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.
LIBRIS DAYS
-20%
transport gratuit
PRP: 142.66 Lei
Acesta este Pretul Recomandat de Producator. Pretul de vanzare al produsului este afisat mai jos.
114.13Lei
114.13Lei
142.66 LeiPrimesti 114 puncte
Primesti puncte de fidelitate dupa fiecare comanda! 100 puncte de fidelitate reprezinta 1 leu. Foloseste-le la viitoarele achizitii!
Livrare in 2-4 saptamani
Poti comanda acest produs introducand numarul tau de telefon. Vei fi apelat de un operator Libris.ro in cele mai scurt timp pentru prealuarea datelor necesare.
Pentru a putea comanda rapid este nevoie sa introduceti numarul dvs de telefon in formatul 0xxxxxxxxx (10 cifre).Un operator Libris.ro va suna si va cere telefonic restul datelor necesare.
Descrierea produsului
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.
Detaliile produsului
- Categoria: Mathematics, Logic
- Autor: Raymond M. Smullyan
- Editura: Dover Publications
- An aparitie: 2014
- Editie: Paperback
- Format: 234 x 157 x 15 mm
- Nr. pagini: 284
- Limba: English
- Tip: Paperback
- Cod: BRT9780486492377
De pe acelasi raft
De acelasi autor
Parerea ta e inspiratie pentru comunitatea Libris!