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

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

Label
Intuitionism and proof theory. : Proceedings of the summer conference at Buffalo, N.Y., 1968
Title
Intuitionism and proof theory.
Title remainder
Proceedings of the summer conference at Buffalo, N.Y., 1968
Statement of responsibility
Edited by A. Kino, J. Myhill and R. E. Vesley
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Index
no index present
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1968
http://bibfra.me/vocab/lite/meetingName
Conference on Intuitionism and Proof Theory
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1923-1987
  • 1932-
http://library.link/vocab/relatedWorkOrContributorName
  • Kino, A
  • Myhill, John
  • Vesley, Richard Eugene
Series statement
Studies in logic and the foundations of mathematics ;
http://library.link/vocab/subjectName
  • Intuitionistic mathematics
  • Logic, Symbolic and mathematical
Label
Intuitionism and proof theory. : Proceedings of the summer conference at Buffalo, N.Y., 1968, Edited by A. Kino, J. Myhill and R. E. Vesley
Instantiates
Publication
Bibliography note
Includes bibliographies
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
103466
Dimensions
23 cm
Extent
viii, 516 pages
Lccn
77097196
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
System control number
(WaOLN)508830
Label
Intuitionism and proof theory. : Proceedings of the summer conference at Buffalo, N.Y., 1968, Edited by A. Kino, J. Myhill and R. E. Vesley
Publication
Bibliography note
Includes bibliographies
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
103466
Dimensions
23 cm
Extent
viii, 516 pages
Lccn
77097196
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
System control number
(WaOLN)508830

Library Locations

    • Thomas Jefferson LibraryBorrow it
      1 University Blvd, St. Louis, MO, 63121, US
      38.710138 -90.311107
Processing Feedback ...