An edition of Intuitionism and proof theory (1970)

Intuitionism and proof theory.

Proceedings of the summer conference at Buffalo, N.Y., 1968.

by

Cover of: Intuitionism and proof theory. by Conference on Intuitionism and Proof Theory (1968 State University of New York at Buffalo), Conference on Intuitionism and Proof Theory (1968 State University of New York at Buffalo)
Preview
Borrow 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

Buy this book

Last edited by ImportBot
April 2, 2019 | History
Edit
An edition of Intuitionism and proof theory (1970)

Intuitionism and proof theory.

Proceedings of the summer conference at Buffalo, N.Y., 1968.

by

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

Publish Date
Publisher
North-Holland Pub. Co.
Language
English
Pages
516

Buy this book

Previews available in: English

Subjects

Congresses, Intuitionistic mathematics, Symbolic and mathematical Logic
Edition Availability
Cover of: Intuitionism and proof theory
Intuitionism and proof theory: proceedings of the summer conference of Buffalo, NY, 1968
1970, North-Holland Publishing Co
in English
Libraries near you: WorldCat
Cover of: Intuitionism and proof theory.
Intuitionism and proof theory.: Proceedings of the summer conference at Buffalo, N.Y., 1968.
1970, North-Holland Pub. Co.
in English

Add another edition?

Book Details

Edition Notes

Includes bibliographies.

Published in
Amsterdam
Series
Studies in logic and the foundations of mathematics

Classifications

Dewey Decimal Class
164
Library of Congress
QA9 .C742 1968

The Physical Object

Pagination
viii, 516 p.
Number of pages
516

ID Numbers

Open Library
OL4573730M
Internet Archive
intuitionismproo0000conf
LCCN
77097196

Source records

OpenLibraries-Trent-MARCs record
Internet Archive item record
Library of Congress MARC record

Community Reviews (0)

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

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
April 2, 2019 Edited by ImportBot import existing book
November 28, 2012 Edited by AnandBot Fixed spam edits.
November 24, 2012 Edited by 188.120.227.220 Edited without comment.
December 5, 2010 Edited by Open Library Bot Added subjects from MARC records.
December 10, 2009 Created by WorkBot add works page