An edition of Proof Theory and Logical Complexity (1987)

Proof theory and logical complexity

by

Cover of: Proof theory and logical complexity by Jean-Yves Girard, Jean-Yves Girard
Read Listen

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
Notes
Notes

Download Options

Check nearby libraries

Buy this book

Last edited anonymously
October 9, 2012 | History
Edit
An edition of Proof Theory and Logical Complexity (1987)

Proof theory and logical complexity

by

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

Publish Date
Publisher
Bibliopolis
Language
English

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Proof theory
Edition Availability
Cover of: Proof Theory and Logical Complexity
Proof Theory and Logical Complexity : Volume I (Studies in Proof Theory)
October 1, 1990, Elsevier Science Pub Co
Hardcover in English
Cover of: Proof theory and logical complexity
Proof theory and logical complexity
1987, Bibliopolis
in English

Add another edition?

Book Details

Edition Notes

Bibliography: v. 1, p. [497]-500.
Includes index.

Published in
Napoli
Series
Studies in proof theory ;, 1
Other Titles
Logical complexity.

Classifications

Dewey Decimal Class
511.3
Library of Congress
QA9.54 .G57 1987

The Physical Object

Pagination
v. <1 > ;

Edition Identifiers

Open Library
OL2078767M
Internet Archive
prooftheorylogic00gira
ISBN 10
8870881237
LCCN
88114031
OCLC/WorldCat
17455769
Goodreads
3402071

Work Identifiers

Work ID
OL4670263W

Source records

Internet Archive item record
Library of Congress MARC record
marc_columbia MARC record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
October 9, 2012 Edited by 2.176.144.210 Added new cover
December 4, 2010 Edited by Open Library Bot Added subjects from MARC records.
April 28, 2010 Edited by Open Library Bot Linked existing covers to the work.
December 10, 2009 Created by WorkBot add works page