Logic from Computer Science Proceedings of a Workshop held November 13–17, 1989

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

Main Author: Moschovakis, Yiannis N.
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: New York, NY Springer New York 1992, 1992
Series:Mathematical Sciences Research Institute Publications
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Summary: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
Physical Description:XI, 608p. 10 illus online resource
ISBN:9781461228226