An edition of Logic from Computer Science (1992)

Logic from Computer Science

Proceedings of a Workshop held November 13-17, 1989

Locate

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today


Buy this book

Last edited by MARC Bot
September 28, 2024 | History
An edition of Logic from Computer Science (1992)

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 Moerdijk, and Concurrent Computation as Game Playing by Anil Nerode.

Publish Date
Publisher
Springer New York
Language
English
Pages
608

Buy this book

Previews available in: English

Edition Availability
Cover of: Logic from Computer Science
Logic from Computer Science: Proceedings of a Workshop held November 13-17, 1989
Oct 04, 2011, Springer
paperback
Cover of: Logic from Computer Science
Logic from Computer Science: Proceedings of a Workshop held November 13-17, 1989
1992, Springer New York
electronic resource : in English

Add another edition?

Book Details


Edition Notes

Published in
New York, NY
Series
Mathematical Sciences Research Institute Publications, 0940-4740 -- 21, Mathematical Sciences Research Institute publications -- 21.

Classifications

Library of Congress
QA8.9-10.3

The Physical Object

Format
[electronic resource] :
Pagination
1 online resource (XI, 608 pages 10 illustrations).
Number of pages
608

ID Numbers

Open Library
OL27071621M
Internet Archive
logicfromcompute1989barr
ISBN 10
1461228220
ISBN 13
9781461228226
OCLC/WorldCat
840278579

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
September 28, 2024 Edited by MARC Bot import existing book
July 5, 2019 Created by MARC Bot import new book