Liknande böcker

How to prove it : a structured approach
Bok av Daniel J. Velleman
To mock a mockingbird and other logic puzzles including an amazing adven...
Bok av Raymond Merrill Smullyan
Proofs and Refutations
Bok av Imre Lakatos
Introduction to Symbolic Logic and Its Applications
Bok av Rudolf Carnap
Metalogic [electronic resource] : An Introduction to the Metatheory of S...
Bok av Geoffrey. author. Hunter
The foundations of mathematics
Bok av Ian Stewart
First-Order Logic
Bok av Raymond M. Smullyan
The Tools of Mathematical Reasoning
Bok av Tamara J. Lakins

A Beginner's Guide to Mathematical Logic

Bok av Raymond M. Smullyan
Combining stories of great writers and philosophers with quotations and riddles, this completely original text for first courses in mathematical logic examines problems related to proofs, propositional logic and first-order logic, undecidability, and other topics. 2013 edition.