An edition of Logic from Computer Science
(1992)
Logic from Computer Science
Proceedings of a Workshop held November 13-17, 1989
by Yiannis N. Moschovakis
Share
×Close
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.
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Logic from Computer Science: Proceedings of a Workshop held November 13-17, 1989
Oct 04, 2011, Springer
paperback
1461228239 9781461228233
|
aaaa
|
2
Logic from Computer Science: Proceedings of a Workshop held November 13-17, 1989
1992, Springer New York
electronic resource :
in English
1461228220 9781461228226
|
zzzz
|
Book Details
Edition Notes
Source title: Logic from Computer Science: Proceedings of a Workshop held November 13-17, 1989
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
See All
History
- Created May 4, 2020
- 2 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| January 31, 2024 | Edited by ImportBot | import existing book |
| May 4, 2020 | Created by ImportBot | Imported from amazon.com record |