Catalog Record: Intuitionism and proof theory. Proceedings of the summer conference at Buffalo, N.Y., 1968 | Hathi Trust Digital Library

Navigation

Main Content

Similar Items

Tools


Intuitionism and proof theory. Proceedings of the summer conference at Buffalo, N.Y., 1968. Edited by A. Kino, J. Myhill and R. E. Vesley.

Other Authors: Kino, A. , Myhill, John, 1923-1987., Vesley, R. E.
Language(s): English
Published: Amsterdam, North-Holland Pub. Co., 1970.
Series: Studies in logic and the foundations of mathematics.
Subjects: Logic, Symbolic and mathematical > Congresses.
Physical Description: viii, 516 p. 23 cm.
Original Format: Book
Conference
Original Classification Number: QA9 .C75 1968
ISBN:
Locate a Print Version: Find in a library
Search

Catalog Search
Bibliographic search (Title, Author, Subject, ISBN/ISSN, Publisher, Series Title, or Year of Publication) of all HathiTrust items

Experimental Search
Full-text search of a small subset of HathiTrust items

Build & View Custom Collections

Go to Public Collections to browse other people's collections. Items from these collections can be copied into your own private collection.

Create your own Private Collection by searching or browsing to find items of interest and then adding them to a collection.

Full-text searching is available within public or private collections, and within individual items.

Close

Search Tips

Phrase Searching

Use quotes to search an exact phrase: e.g. "occult fiction"

Wildcards

Use * or ? to search for alternate forms of a word. Use * to stand for several characters, and ? for a single character: e.g. optim* will find optimal, optimize or optimum; wom?n will find woman and women.

Boolean Searching

Use AND and OR between words to combine them with Boolean logic: e.g. (heart OR cardiac) AND surgery will find items about heart surgery or cardiac surgery. Boolean terms must be in uppercase.

Close