Logic from Computer ScienceYiannis N. Moschovakis
Logic from Computer Science
Yiannis N. Moschovakis · 1992
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
About the book
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.
Book details
- Year
- 1992
- Language
- English
- Series
- Mathematical Sciences Research Institute Publications, 0940-4740 -- 21
- Publisher
- Springer New York
- Editions
- 3
- Pages
- 608
- ISBN
- 9781461228226
Data source: Wikidata
More by 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