An edition of Proof theory of impredicative subsystems of analysis (1988)

Proof theory of impredicative subsystems of analysis

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Proof theory of impredicative subsystems of a ...
Wilfried Buchholz
Not in Library

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
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by Open Library Bot
December 4, 2010 | History
Edit
An edition of Proof theory of impredicative subsystems of analysis (1988)

Proof theory of impredicative subsystems of analysis

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

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

Publish Date
Publisher
Bibliopolis
Language
English
Pages
122

Check nearby libraries

Buy this book

Subjects
Foundations, Mathematical analysis, Proof theory
Edition Availability
Cover of: Proof theory of impredicative subsystems of analysis
Proof theory of impredicative subsystems of analysis
1988, Bibliopolis
in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Includes bibliographical references (p. 121-122).

Published in
Napoli
Series
Studies in proof theory., 2

Classifications

Dewey Decimal Class
511.3
Library of Congress
QA299.8 .B83 1988

The Physical Object

Pagination
122 p. ;
Number of pages
122

ID Numbers

Open Library
OL2264712M
ISBN 10
8870881660
LCCN
89148839
Library Thing
5625654
Goodreads
4576138

Source records

Library of Congress MARC record

Community Reviews (0)

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

Lists

See All

History

Download catalog record: RDF / JSON
December 4, 2010 Edited by Open Library Bot Added subjects from MARC records.
December 10, 2009 Created by WorkBot add works page