Produktdetaljer
ISBN
9780486492377
Publisert
2014-07-25
Utgiver
Dover Publications Inc.
Vekt
425 gr
Høyde
235 mm
Bredde
156 mm
Dybde
14 mm
Aldersnivå
01, U, 05
Språk
Product language
Engelsk
Format
Product format
Heftet
Antall sider
288
Forfatter
Biografisk notat
Raymond Smullyan received his PhD from Princeton University and has taught at Dartmouth, Princeton, Indiana University, and New York's Lehman College. Best known for his mathematical and creative logic puzzles and games, he is also a concert pianist and a magician. He is the author of over a dozen books of logic puzzles and texts on mathematical logic.
Combining stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic, this new textbook for first courses in mathematical logic was written by the subject's creative master. Raymond Smullyan offers clear, incremental presentations of difficult logic concepts with creative explanations and unique problems related to proofs, propositional logic and first-order logic, undecidability, recursion theory, and other topics.
Les mer
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.
Les mer
Produktdetaljer
ISBN
9780486492377
Publisert
2014-07-25
Utgiver
Dover Publications Inc.
Vekt
425 gr
Høyde
235 mm
Bredde
156 mm
Dybde
14 mm
Aldersnivå
01, U, 05
Språk
Product language
Engelsk
Format
Product format
Heftet
Antall sider
288
Forfatter