cover image

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

; Kino, A., editor ; Myhill, John, editor ; Vesley, Richard Eugene, 1932- editor ; State University College at Buffalo
Amsterdam, North-Holland Pub. Company, 1970.
ISBN 9780720422573, 0720422574

Location Call Number Status Consortium Loan
George Washington
WRLC Shared Collections Facility
QA 9 .C742 1968 Off-site
Request
American
WRLC Shared Collections Facility
BC135 .S8 v.48 v.48 Off-site
Request
Georgetown
Off-Campus Shelving
QA9 .C742 1968 Available Request
Other Authors Kino, A.,
Myhill, John,
Vesley, Richard Eugene, 1932-
State University College at Buffalo.
Subjects Beweistheorie.
Intuitionistic mathematics -- Congresses.
Intuitionistic mathematics.
Intuitionistische Mathematik.
Intuïtionisme.
Logique symbolique et mathématique -- Congrès.
Mathématiques intuitionnistes -- Congrès.
Preuve, Théorie de la -- Congrès.
déduction.
fondement mathématique.
intuitionnisme.
nombre ordinal.
théorie nombre.
Series Studies in logic and the foundations of mathematics.
Description viii, 516 pages 23 cm.
Copyright Date 1970.
Notes Includes bibliographical references.
Also issued online.
Genre Conference proceedings.
Kongress.
Network Numbers (OCoLC)103466
(OCoLC)ocm00103466
WorldCat Search OCLC WorldCat

Services

Export citation to: RefWorks