Logic from Computer Science
Subtitle: Proceedings of a Workshop held November 13-17, 1989
By: edited by Yiannis N. Moschovakis
Series: Mathematical Sciences Research Institute Publications, 0940-4740 -- 21; Mathematical Sciences Research Institute publications -- 21.
Publisher: Springer New York
Published: 1992
Place of publication: New York, NY
Language: eng
Format: [electronic resource] :
Number of pages: 608
ISBN-13: 9781461228226
Description: 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.