An edition of Proofs and types (1989)

Proofs and types

by

  • 1 Want to read
Cover of: Proofs and types by Jean-Yves Girard, Jean-Yves Girard, Yves Lafont, Paul Taylor
Locate

My Reading Lists:

Create a new list

Notes
  • 1 Want to read
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
December 19, 2023 | History
Edit
An edition of Proofs and types (1989)

Proofs and types

by

  • 1 Want to read

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Cambridge University Press
Language
English
Pages
192

Check nearby libraries

Buy this book

Subjects

Computer programming, Symbolic and mathematical Logic, Type theory, Proof theory, Calculus, Lambda calculus
Edition Availability
Cover of: Proofs and types
Proofs and types
April 28, 1989, Cambridge University Press
Hardcover in English

Add another edition?

Book Details

Edition Notes

Series
Cambridge Tracts in Theoretical Computer Science

Classifications

Library of Congress
QA9.5 .G57 1989, QA76.6

The Physical Object

Format
Hardcover
Number of pages
192
Dimensions
10 x 7.1 x 0.6 inches
Weight
1.1 pounds

Edition Identifiers

Open Library
OL7738480M
ISBN 10
0521371813
ISBN 13
9780521371810
LCCN
gb89006177
OCLC/WorldCat
20170936
LibraryThing
1297162
Goodreads
3400118

Work Identifiers

Work ID
OL16965641W

Source records

Internet Archive item record
OpenLibraries-Trent-MARCs record
Internet Archive item record
Internet Archive item record
Internet Archive item record
Better World Books record
amazon.com record
ISBNdb
marc_columbia MARC record
harvard_bibliographic_metadata 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
December 19, 2023 Edited by ImportBot import existing book
August 18, 2020 Edited by ImportBot import existing book
November 15, 2018 Edited by MARC Bot import existing book
July 29, 2014 Created by ImportBot import new book