m
     
Congrès

H 1 Intuitionism and proof theory :
proceedings of the summer conference on ... held at the State University of New York#Aug.

Kino, A. (Editeur) ; Myhill, J. (Editeur) ; Vesley, Richard Eugene (Editeur)

North-Holland Publishing Co.

1970

516 p.

00004226

03-06 ; 03Bxx ; 03Fxx ; 00B25

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

Ville d'édition : Amsterdam ; London

Pays d'édition : Pays-Bas

Langue : Anglais

Collation : 23 cm#rel. ; Bibliogr.

Collection : Studies in logic and the foundations of mathematics

Localisation : Colloque 1er étage (BUFF)

Année de la rencontre : 1968

Ville du congrès : Buffalo ; N.Y.

Pays du congrès : États-Unis

Type Congrès : Congrès

Disponibilité : Disponible


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00004226 [disponible]
Z