Sökt på: Böcker av Raymond Smullyan
totalt 49 träffar
A Beginner’s Guide to Mathematical Logic
Written by a creative master of mathematical logic, this introductory text combines stories of great philosophers, quotations, and riddles with the fundamentals of mathematical …
To Mock a Mockingbird: and Other Logic Puzzles
This is a puzzle book covering logic, philosophy, psychology, artificial intelligence, computer science and mathematics. It contains many puzzles and their solutions and aims to …
The GöDelian Puzzle Book
These brand-new recreational logic puzzles provide entertaining variations on G del's incompleteness theorems, offering ingenious challenges related to infinity, truth and …
The Lady or the Tiger?
First-order Logic
Chess Mysteries of Sherlock Holmes
Join the master sleuth as he and Dr. Watson examine interrupted chess matches at clubs and country homes, examining the pieces' current positions to identify previous moves. Rather …
Bosques curiosos y pájaros aristocráticos
El celebérrimo inspector Craig protagoniza nuevas e insólitas aventuras para conocer más a fondo los secretos de la lógica combinatoria: "Debo confesar que el tema me intriga …
Beginner's Further Guide To Mathematical Logic, A
'A wealth of examples to which solutions are given permeate the text so the reader will certainly be active.'The Mathematical GazetteThis is the final book written by the late …
Four Lives
This "e;best of"e; collection of works by Raymond Smullyan features excerpts from his published writings, including logic puzzles, explorations of mathematical logic and …
King Arthur in Search of His Dog and Other Curious Puzzles
Reflections: The Magic, Music And Mathematics Of Raymond Smullyan
This is an exciting if not rambling account of events of Raymond Smullyan's four lives - as a mathematical logician, musician, magician, and author - together with thoughts that …
First-Order Logic
Except for this preface, this study is completely self-contained. It is intended to serve both as an introduction to Quantification Theory and as an exposition of new results and …