Logic from Computer ScienceYiannis N. Moschovakis
Logic from Computer Science
Yiannis N. Moschovakis · 1992
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
על הספר
Topics of this proceedings volume will include Computability and Complexity of Higher Type Functions by Stephen Cook, Logics for Termination and Correctness of Functional Programs by Solomon Feferman, Reals and Forcing with Elementary Topos by the well known mathematician, Saunders MacLane and Ieke Moerdijk, and Concurrent Computation as Game Playing by Anil Nerode.
פרטי הספר
- שנה
- 1992
- שפה
- English
- סדרה
- Mathematical Sciences Research Institute Publications, 0940-4740 -- 21
- הוצאה
- Springer New York
- מהדורות
- 3
- עמודים
- 608
- ISBN
- 9781461228226
מקור הנתונים: Wikidata
עוד של Yiannis N. Moschovakis
Notes on set theoryYiannis N. Moschovakis
Notes on set theory
Yiannis N. Moschovakis · 2005
Descriptive set theoryYiannis N. Moschovakis
Descriptive set theory
Yiannis N. Moschovakis · 2009
Elementary induction on abstract structuresYiannis N. Moschovakis
Elementary induction on abstract structures
Yiannis N. Moschovakis · 2008
Abstract Recursion and Intrinsic ComplexityYiannis N. Moschovakis
Abstract Recursion and Intrinsic Complexity
Yiannis N. Moschovakis · 2018