Search | About | Preferences | Interact | Help | ||
Find any book at the best price. |
› Find signed collectible books: 'Alice in Puzzle-Land: A Carrollian Tale for Children Under Eighty'
Alice and her friends return for another romp through Wonderland and the Looking-Glass with these eighty-eight puzzles, paradoxes, and logic problems. Raymond M. Smullyan's characters speak and behave like the originals, and their puzzles abound in typical Carrollian word play, logic problems, and dark philosophical paradoxes. Isaac Asimov described this book as "amusing, entertaining, and surprisingly educational. And it might just send you back to reread Alice."
Readers of all ages will delight in the charming stories and the wealth of ingenious puzzles. Written by a distinguished mathematician and creator of popular puzzle books, this volume requires no background in formal logic. The puzzles become progressively more complex, and complete solutions appear at the end. Puzzle authority Martin Gardner provides an Introduction to the text, which is enhanced by sixty charming illustrations. "An ingenious book," declared the Boston Globe, "magnificent for those who like conundrums, amusing for those who don't, and a tribute in itself to the genius of Lewis Carroll."
More editions of Alice in Puzzle-Land: A Carrollian Tale for Children Under Eighty:
› Find signed collectible books: '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 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.
More editions of A Beginner's Guide to Mathematical Logic:
› Find signed collectible books: 'CHESS MYST OF S. HOLMES'
More editions of CHESS MYST OF S. HOLMES:
› Find signed collectible books: 'The Chess Mysteries of Sherlock Holmes'
The dazzlingly clever and always entertaining Raymond Smullyan takes an unorthodox approach to chess puzzles by treating them as mysteries--with Sherlock Holmes as guide and mentor. The key concept is retrograde analysis. Rather than figuring out how to achieve some end from a given arrangement of chess pieces, the game is to examine the board and deduce what has happened in the past: Which side is white? What were the previous moves? Prove that a promotion did or did not occur. Which piece has been replaced by a coin? These are just a few of the challenges Smullyan presents through the eyes of Holmes and Watson. He even manages about as passable an imitation of Sir Arthur Conan Doyle's style as can be expected from a tongue-in-cheek presentation. To enjoy these problems you need only know how chess pieces move. The first puzzles in the book teach all the concepts you need to know to decipher the later ones; the process prepares you to join Holmes in solving a baffling double murder--they keys to which reside in a series of devilishly clever puzzles. The chess game is afoot, and it's almost too much fun!
More editions of The Chess Mysteries of Sherlock Holmes:
› Find signed collectible books: 'The Chess Mysteries of Sherlock Holmes: Fifty Tantalizing Problems of Chess Detection (Dover Recreational Math)'
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 than predicting the outcome of these games, the Baker Street duo focus on past events, using the same variety of logical reasoning that unlocks the secrets to their ever-popular mysteries. Holmes instructs Watson (and us) in the intricacies of retrograde analysis in order to deduce on which square the white queen was captured, whether a pawn has been promoted, and which piece has been replaced by a coin. The mysteries grow increasingly complex, culminating in a double murder perpetrated by the devious Professor Moriarty.
Philosopher and logician Raymond Smullyan brilliantly recaptures the mood of Sir Arthur Conan Doyle's tales. Readers need only a knowledge of how the pieces move; the first puzzles explain all of the concepts that arise later on. These witty and challenging problems will captivate chess aficionados, puzzle enthusiasts, Sherlock Holmes fans, and everyone who relishes mysteries, crime stories, and tales of detection.
More editions of The Chess Mysteries of Sherlock Holmes: Fifty Tantalizing Problems of Chess Detection (Dover Recreational Math):
› Find signed collectible books: 'The Chess Mysteries of the Arabian Knights'
A collection of chess problems and exercises which are incorporated into a fictional account of the battles and intrigue of the court of Arabian Knights.
More editions of The Chess Mysteries of the Arabian Knights:
› Find signed collectible books: 'The Chess Mysteries of the Arabian Knights: 50 New Problems of Chess Detection (A Hutchinson Paperback)'
More editions of The Chess Mysteries of the Arabian Knights: 50 New Problems of Chess Detection (A Hutchinson Paperback):
› Find signed collectible books: 'Diagonalization and Self-Reference (Oxford Logic Guides)'
This book presents a systematic, unified treatment of fixed points as they occur in Gödel's incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics. Packed with instructive problems and solutions, the book offers an excellent introduction to the subject and highlights recent research.
More editions of Diagonalization and Self-Reference (Oxford Logic Guides):
› Find signed collectible books: 'First-Order Logic[ FIRST-ORDER LOGIC ] by Smullyan, Raymond M. (Author) Jan-30-95[ Paperback ]'
This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as an exposition of new results and techniques in "analytic" or "cut-free" methods. Impressed by the simplicity and mathematical elegance of the tableau point of view, the author focuses on it here.
After preliminary material on tress (necessary for the tableau method), Part I deals with propositional logic from the viewpoint of analytic tableaux, covering such topics as formulas or propositional logic, Boolean valuations and truth sets, the method of tableaux and compactness.
Part II covers first-order logic, offering detailed treatment of such matters as first-order analytic tableaux, analytic consistency, quantification theory, magic sets, and analytic versus synthetic consistency properties.
Part III continues coverage of first-order logic. Among the topics discussed are Gentzen systems, elimination theorems, prenex tableaux, symmetric completeness theorems, and system linear reasoning.
Raymond M. Smullyan is a well-known logician and inventor of mathematical and logical puzzles. In this book he has written a stimulating and challenging exposition of first-order logic that will be welcomed by logicians, mathematicians, and anyone interested in the field.
More editions of First-Order Logic (Dover Books on Mathematics):
› Find signed collectible books: 'Forever Undecided: A Puzzle Guide to Godel'
More editions of Forever Undecided: A Puzzle Guide to Godel:
› Find signed collectible books: 'Forever Undecided: A Puzzle Guide to Godel (Oxford paperbacks)'
More editions of Forever Undecided: A Puzzle Guide to Godel (Oxford paperbacks):
› Find signed collectible books: 'Four Lives: A Celebration of Raymond Smullyan'
This "best of" hardcover collection of works by Raymond Smullyan features excerpts from his published writings, including logic puzzles, explorations of mathematical logic and paradoxes, retrograde analysis chess problems, jokes and anecdotes, and meditations on the philosophy of religion. Jason Rosenhouse, the editor of Four Lives, has provided an Introduction, in addition to compiling numerous tributes from former students, friends, and others saluting this celebrated professor, author, and logic scholar hailed by Martin Gardner as "the most entertaining logician and set theorist who ever lived."
More editions of Four Lives: A Celebration of Raymond Smullyan:
› Find signed collectible books: 'Godel's Incompleteness Theorems (Oxford Logic Guides)'
Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "undecidable." His work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum theory brought him further worldwide fame. In this introductory volume, Raymond Smullyan, himself a well-known logician, guides the reader through the fascinating world of Godel's incompleteness theorems. The level of presentation is suitable for anyone with a basic acquaintance with mathematical logic. As a clear, concise introduction to a difficult but essential subject, the book will appeal to mathematicians, philosophers, and computer scientists.
More editions of Godel's Incompleteness Theorems (Oxford Logic Guides):
› Find signed collectible books: 'The Godelian Puzzle Book: Puzzles, Paradoxes and Proofs'
These brand-new recreational logic puzzles provide entertaining variations on Gödel's incompleteness theorems, offering ingenious challenges related to infinity, truth and provability, undecidability, and other concepts. Created by the celebrated logician Raymond Smullyan, the puzzles require no background in formal logic and will delight readers of all ages.
The two-part selection of puzzles and paradoxes begins with examinations of the nature of infinity and some curious systems related to Gödel's theorem. The first three chapters of Part II contain generalized Gödel theorems. Symbolic logic is deferred until the last three chapters, which give explanations and examples of first-order arithmetic, Peano arithmetic, and a complete proof of Gödel's celebrated result involving statements that cannot be proved or disproved. The book also includes a lively look at decision theory, better known as recursion theory, which plays a vital role in computer science.
More editions of The Godelian Puzzle Book: Puzzles, Paradoxes and Proofs:
› Find signed collectible books: 'King Arthur In Search Of His Dog & Other Curious Puzzles'
More editions of King Arthur In Search Of His Dog & Other Curious Puzzles:
› Find signed collectible books: 'King Arthur in Search of His Dog and Other Curious Puzzles (Dover Books on Mathematics)'
Title: King Arthur in Search of His Dog and Other Curious Puzzles <>Binding: Paperback <>Author: RaymondM.Smullyan <>Publisher: DoverPublications
More editions of King Arthur in Search of His Dog and Other Curious Puzzles (Dover Books on Mathematics):
› Find signed collectible books: 'THE LADY OR THE TIGER?'
This text presents a series of logic puzzles, ranging from the simplest problems to the most tantalizing complexities. An array of imaginary characters - sane and insane vampires, psychiatrists, dreamers, hermits, kings, knights and knaves - pose questions, giving just enough information to enable the reader to solve problems of increasing difficulty. The final section of the book, "The Mystery of the Monte Carlo Lock", is a mathematical novel. Beginning with the problem of finding a combination to open a safe, Inspector Craig of Scotland Yard finds himself in ever deeper mathematical waters, which lead eventually to the very heart of Godel's revolutionary theory of undecidability.
More editions of THE LADY OR THE TIGER?:
› Find signed collectible books: 'The Lady or the Tiger?: And Other Logic Puzzles (Pelican)'
"Another scintillating collection of brilliant problems and paradoxes by the most entertaining logician and set theorist who ever lived." Martin Gardner
"Smullyan is not your run-of-the-mill puzzlemeister; he polishes up old chestnuts, spins variations on a theme, and peoples his logical world with a delightful cast of characters." Science 82
"I believe Ray Smullyan to be the Lewis Carroll of our times. His little books of logic puzzles will be remembered long after most of us are forgotten." Peter Denning, Chairman of the Computer Science Department, Naval Postgraduate School
"You may experience small frissons of delight as you follow Smullyan into the dizzying heights of Gödel's proof and the very nature of proof, truth, and logic in mathematics." Kirkus Reviews
Discover scintillating new perspectives on the principles of mathematical logic with this puzzle treasury. Inspired by the classic tale of a prisoner's choice between two doors, these whimsically themed challenges allow readers to base their decisions on logic rather than luck. Nineteen chapters advance from relatively simple puzzles and meta-puzzles to highly complex paradoxes involving probability, time, and change. The author, a well-known philosopher and magician as well as a celebrated mathematician and logician, was acclaimed by The New York Times as "a master at translating difficult ideas into stories and puzzles that require no formal background, only patience and a passion to learn."
More editions of The Lady or the Tiger?: and Other Logic Puzzles:
› Find signed collectible books: 'The Lady or the Tiger?: And Other Logic Puzzles (Oxford paperbacks)'
More editions of The Lady or the Tiger?: And Other Logic Puzzles (Oxford paperbacks):
› Find signed collectible books: 'Recursion Theory for Metamathematics (Oxford Logic Guides)'
This work is a sequel to the author's Gödel's Incompleteness Theorems, though it can be read independently by anyone familiar with Gödel's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field.
More editions of Recursion Theory for Metamathematics (Oxford Logic Guides):
› Find signed collectible books: 'Riddle of Scheherazade'
More editions of Riddle of Scheherazade:
› Find signed collectible books: 'The Riddle of Scheherazade: And Other Amazing Puzzles, Ancient and Modern'
Once again in trouble with the king and in danger of losing her head, clever Scheherazade teases the king with a selection of 225 devious mathematical and logic puzzles, including Go+a5delian brain twisters, paradoxes, metapuzzles, logic tricks, number games, and more. 10,000 first printing."
More editions of The Riddle of Scheherazade: And Other Amazing Puzzles, Ancient and Modern:
› Find signed collectible books: 'Satan, Cantor & Infinity'
More editions of Satan, Cantor & Infinity:
› Find signed collectible books: 'Satan, Cantor & Infinity: Mind-Boggling Puzzles'
More editions of Satan, Cantor & Infinity: Mind-Boggling Puzzles:
› Find signed collectible books: 'Satan, Cantor and Infinity and Other Mind-boggling Puzzles'
The author of What Is the Name of This Book? presents a compilation of more than two hundred challenging new logic puzzles--ranging from simple brainteasers to complex mathematical paradoxes.
More editions of Satan, Cantor and Infinity and Other Mind-boggling Puzzles:
› Find signed collectible books: 'Satan, Cantor and Infinity: Mind-Boggling Puzzles (Dover Books on Mathematical & Word Recreations)'
A clear-headed command of logic can make the mind powerful enough to outmaneuver the devil himself, according to these intriguing stories. More than 200 puzzles, problems, and paradoxes await within these pages, woven together by a wizard's captivating narrative. The Sorcerer so skilled in the art of logic that his reasoning seems like magic takes a puzzle-based perspective on the principles underlying the works of mathematician Georg Cantor. His fascinating riddles involve probability, certainty, time, and infinity, and they unfold amid a landscape populated by honorable knights, lying knaves, quick-witted robots, and other fanciful characters.
Amusing and enlightening, the Sorcerer's guided tour of infinity is geared toward the most dedicated puzzle-solvers. Although many of the solutions require only common sense, equations appear in several of the stories, and a familiarity with algebra is essential. The author of several imaginative books on recreational mathematics, Raymond Smullyan is a well-known mathematician and logician. He provides solutions within text, rather than at the end or in footnotes, offering readers a natural progression on a puzzle-filled path through the wonders of logic.
More editions of Satan, Cantor and Infinity: Mind-Boggling Puzzles (Dover Books on Mathematical & Word Recreations):
› Find signed collectible books: 'Set Theory and the Continuum Problem (Dover Books on Mathematics)'
A lucid, elegant, and complete survey of set theory, this volume is drawn from the authors' substantial teaching experience. The first of three parts focuses on axiomatic set theory. The second part explores the consistency of the continuum hypothesis, and the final section examines forcing and independence results.
Part One's focus on axiomatic set theory features nine chapters that examine problems related to size comparisons between infinite sets, basics of class theory, and natural numbers. Additional topics include author Raymond Smullyan's double induction principle, super induction, ordinal numbers, order isomorphism and transfinite recursion, and the axiom of foundation and cardinals. The six chapters of Part Two address Mostowski-Shepherdson mappings, reflection principles, constructible sets and constructibility, and the continuum hypothesis. The text concludes with a seven-chapter exploration of forcing and independence results. This treatment is noteworthy for its clear explanations of highly technical proofs and its discussions of countability, uncountability, and mathematical induction, which are simultaneously charming for experts and understandable to graduate students of mathematics.
More editions of Set Theory and the Continuum Problem (Dover Books on Mathematics):
› Find signed collectible books: 'Set Theory and the Continuum Problem (Oxford Logic Guides)'
Set Theory and the Continuum Problem is a novel introduction to set theory, including axiomatic development, consistency, and independence results. It is self-contained and covers all the set theory that a mathematician should know. Part I introduces set theory, including basic axioms, development of the natural number system, Zorn's Lemma and other maximal principles. Part II proves the consistency of the continuum hypothesis and the axiom of choice, with material on collapsing mappings, model-theoretic results, and constructible sets. Part III presents a version of Cohen's proofs of the independence of the continuum hypothesis and the axiom of choice. It also presents, for the first time in a textbook, the double induction and superinduction principles, and Cowen's theorem. The book will interest students and researchers in logic and set theory.
More editions of Set Theory and the Continuum Problem (Oxford Logic Guides):
› Find signed collectible books: 'The Tao is Silent'
The Tao Is Silent Is Raymond Smullyan's beguiling and whimsical guide to the meaning and value of eastern philosophy to westerners.
"To me," Writes Smullyan, "Taoism means a state of inner serenity combined with an intense aesthetic awareness. Neither alone is adequate; a purely passive serenity is kind of dull, and an anxiety-ridden awareness is not very appealing."
This is more than a book on Chinese philosophy. It is a series of ideas inspired by Taoism that treats a wide variety of subjects about life in general. Smullyan sees the Taoist as "one who is not so much in search of something he hasn't, but who is enjoying what he has."
Readers will be charmed and inspired by this witty, sophisticated, yet deeply religious author, whether he is discussing gardening, dogs, the art of napping, or computers who dream that they're human.
› Find signed collectible books: 'Theory of Formal Systems. (AM-47) (Annals of Mathematics Studies)'
This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems.
More editions of Theory of Formal Systems. (AM-47) (Annals of Mathematics Studies):
› Find signed collectible books: 'This Book Needs No Title: A Budget of Living Paradoxes'
More editions of This Book Needs No Title: A Budget of Living Paradoxes:
› Find signed collectible books: 'TO MOCK A MOCKING BIRD'
In this entertaining and challenging collection of logic puzzles, Raymond Smullyan - author of Forever Undecided - continues to delight and astonish us with his gift for making available, in the thoroughly pleasurable form of puzzles, some of the most important mathematical thinking of our time. In the first part of the book, he transports us once again to that wonderful realm where knights, knaves, twin sisters, quadruplet brothers, gods, demons, and mortals either always tell the truth or always lie, and where truth-seekers are set a variety of fascinating problems. The section culminates in an enchanting and profound metapuzzle in which Inspector Craig of Scotland Yard gets involved in a search for the Fountain of Youth on the Island of Knights and Knaves. In the second part of To Mock a Mockingbird, we accompany the Inspector on a summer-long adventure into the field of combinatory logic (a branch of logic that plays an important role in computer science and artificial intelligence). His adventure, which includes enchanted forests, talking birds, bird sociologists, and a classic quest, provides for us along the way the pleasure of solving puzzles of increasing complexity until we reach the Master Forest and - thanks to Godel's famous theorem - the final revelation.
More editions of To Mock A Mocking Bird:
› Find signed collectible books: 'To Mock a Mockingbird: And Other Logic Puzzles'
In this entertaining and challenging collection of logic puzzles, Raymond Smullyan - author of Forever Undecided - continues to delight and astonish us with his gift for making available, in the thoroughly pleasurable form of puzzles, some of the most important mathematical thinking of our time. In the first part of the book, he transports us once again to that wonderful realm where knights, knaves, twin sisters, quadruplet brothers, gods, demons, and mortals either always tell the truth or always lie, and where truth-seekers are set a variety of fascinating problems. The section culminates in an enchanting and profound metapuzzle in which Inspector Craig of Scotland Yard gets involved in a search for the Fountain of Youth on the Island of Knights and Knaves. In the second part of To Mock a Mockingbird, we accompany the Inspector on a summer-long adventure into the field of combinatory logic (a branch of logic that plays an important role in computer science and artificial intelligence).His adventure, which includes enchanted forests, talking birds, bird sociologists, and a classic quest, provides for us along the way the pleasure of solving puzzles of increasing complexity until we reach the Master Forest and - thanks to Godel's famous theorem - the final revelation.
More editions of To Mock a Mockingbird: And Other Logic Puzzles:
› Find signed collectible books: 'What is the name of this book?: The riddle of Dracula and other logical puzzles'
"The most original, most profound, and most humorous collection of recreational logic and math problems ever written." Martin Gardner, Scientific American
"The value of the book lies in the wealth of ingenious puzzles. They afford amusement, vigorous exercise, and instruction." Willard Van Orman Quine, The New York Times Book Review
If you're intrigued by puzzles and paradoxes, these 200 mind-bending logic puzzles, riddles, and diversions will thrill you with challenges to your powers of reason and common sense. Raymond M. Smullyan a celebrated mathematician, logician, magician, and author presents a logical labyrinth of more than 200 increasingly complex problems. The puzzles delve into Gödels undecidability theorem and other examples of the deepest paradoxes of logic and set theory. Detailed solutions follow each puzzle.
More editions of What is the name of this book?: The riddle of Dracula and other logical puzzles:
› Find signed collectible books: 'What Is the Name of This Book? The Riddle of Dracula and Other Logical Puzzles (Pelican Books): The Riddle of Dracula and Other Logical Puzzles'
More editions of What Is the Name of This Book? The Riddle of Dracula and Other Logical Puzzles (Pelican Books): The Riddle of Dracula and Other Logical Puzzles:
› Find signed collectible books: 'What Is the Name of This Book?: The Riddle of Dracula and Other Logical Puzzles (Penguin Press Science)'
More editions of What Is the Name of This Book?: The Riddle of Dracula and Other Logical Puzzles (Penguin Press Science):
› Find signed collectible books: 'Who Knows?: A Study of Religious Consciousness'
More editions of Who Knows?: A Study of Religious Consciousness:
Founded in 1997, BookFinder.com has become a leading book price comparison site:
Find and compare hundreds of millions of new books, used books, rare books and out of print books from over 100,000 booksellers and 60+ websites worldwide.