An edition of Logic from Computer Science (1992)

Logic from Computer Science

Proceedings of a Workshop held November 13-17, 1989

by

Cover of: Logic from Computer Science by Yiannis N. Moschovakis, Yiannis N. Moschovakis
Locate

My Reading Lists:

Create a new list

Notes
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
March 28, 2025 | History
Edit
An edition of Logic from Computer Science (1992)

Logic from Computer Science

Proceedings of a Workshop held November 13-17, 1989

by

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

Check nearby libraries

Buy this book

Subjects

Mathematics, Computer science, Symbolic and mathematical Logic, Mathematical Logic and Foundations, Mathematical Logic and Formal Languages
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

Edition Identifiers

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

Work Identifiers

Work ID
OL19884515W

Source records

Internet Archive item record
Better World Books record
Harvard University record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
March 28, 2025 Edited by ImportBot Redacting ocaids
September 28, 2024 Edited by MARC Bot import existing book
March 1, 2022 Edited by ImportBot import existing book
July 5, 2019 Created by MARC Bot Imported from Internet Archive item record