Intuitionism and proof theory :
proceedings of the summer conference on ... held at the State University of New York#Aug.
logique # théorie de la démonstration # intuition # théorie de Church # théorie de quantification # théorie de Cohen # théorie de Brouwer # théorie de Gentzen # théorie de Herbrand
Publisher City : Amsterdam ; London
Publisher country : Pays-Bas
Language : English
Collation : 23 cm#rel. ; Bibliogr.
Series : Studies in logic and the foundations of mathematics
Location : Colloque 1er étage (BUFF)
Event Year : 1968
City of congres : Buffalo ; N.Y.
Country of congres : États-Unis
Conference type : Congrès
Availability : Disponible
Level of authorization : Public
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | 00004226 | [available] |