Logic from Computer Science : Proceedings of a Workshop held November 13-17, 1989 / edited by Yiannis N. Moschovakis.

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...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Main Author:	Moschovakis, Yiannis N.
Format:	eBook
Language:	English
Published:	New York, NY : Springer New York, 1992.
Series:	Mathematical Sciences Research Institute publications ; 21.
Subjects:	Mathematics. Computer science. Logic, Symbolic and mathematical.