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
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 Proof Theory and Logical Complexity (1987)

Proof theory and logical complexity

by

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

Publish Date
Publisher
Bibliopolis
Language
English

Check nearby libraries

Buy this book

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

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
July 23, 2024 Edited by MARC Bot import existing book
November 8, 2020 Edited by MARC Bot import existing book
July 6, 2019 Edited by MARC Bot import existing book
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record