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...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
New York, NY :
Springer New York,
1992.
|
| Series: | Mathematical Sciences Research Institute publications ;
21. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| 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. |
|---|---|
| Item Description: | Electronic resource. |
| Physical Description: | 1 online resource (XI, 608 pages 10 illustrations) |
| ISBN: | 9781461228226 (electronic bk.) 1461228220 (electronic bk.) |