First-order logicRaymond M. Smullyan
First-order logic
Raymond M. Smullyan · 1968
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
על הספר
Self-contained study guide to quantification theory based on the analytic tableaux.
פרטי הספר
- שנה
- 1968
- שפה
- English
- הוצאה
- Springer
- מהדורות
- 4
- ISBN
- 9783540040996
מקור הנתונים: Wikidata
עוד של Raymond M. Smullyan
A Beginners Guide To Mathematical LogicRaymond M. Smullyan
A Beginners Guide To Mathematical Logic
Raymond M. Smullyan · 2014
The Gödelian puzzle bookRaymond M. Smullyan
The Gödelian puzzle book
Raymond M. Smullyan · 2013
The magic garden of George BRaymond M. Smullyan
The magic garden of George B
Raymond M. Smullyan · 2007
Recursion theory for metamathematicsRaymond M. Smullyan
Recursion theory for metamathematics
Raymond M. Smullyan · 1993
The lady or the tiger? and other logic puzzlesRaymond M. Smullyan
The lady or the tiger? and other logic puzzles
Raymond M. Smullyan · 1992
Alice in puzzle-landRaymond M. Smullyan
Alice in puzzle-land
Raymond M. Smullyan · 1982
This book needs no titleRaymond M. Smullyan
This book needs no title
Raymond M. Smullyan · 1980
The chess mysteries of Sherlock HolmesRaymond M. Smullyan
The chess mysteries of Sherlock Holmes
Raymond M. Smullyan · 1979
What is the name of this book?Raymond M. Smullyan
What is the name of this book?
Raymond M. Smullyan · 1978
A beginner's further guide to mathematical logicRaymond M. Smullyan
A beginner's further guide to mathematical logic
Raymond M. Smullyan · 2017