http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
"Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, N.Y."
Includes bibliographical references (pages 108-111).
Berlin, Heidelberg, New York, Springer, 1969
Lecture notes in mathematics (Springer-Verlag) ; 95