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

Navigation

Main Content

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:	Vesley, R. E. , Myhill, John, 1923-1987., Kino, A.
Language(s):	English
Published:	Amsterdam, North-Holland Pub. Co., 1970.
Subjects:	Logic, Symbolic and mathematical > Congresses.
Physical Description:	viii, 516 p. 23 cm.
ISBN:
Locate a Print Version:	Find in a library

Viewability:

Limited (search only) (original from University of California)
Limited (search only) (original from University of Michigan)
Limited (search only) (original from University of Michigan)

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.