Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Auteur(s) : Conference on Intuitionism and Proof Theory (1968 ; State University of New York at Buffalo)  Voir les notices liées en tant qu'auteur

Titre(s) : Intuitionism and proof theory [Texte électronique] / Proceedings of the summer conference at Buffalo, N.Y., 1968 ; Edited by A. Kino, J. Myhill and R.E. Vesley

Publication : Amsterdam : North-Holland Pub. Co., 1970

Description matérielle : 1 ressource dématérialisée

Collection : Studies in logic and the foundations of mathematics

Note(s) : Includes bibliographical references

Autre(s) auteur(s) : Kino, A.. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Myhill, John. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Vesley, Richard Eugene (1932-....). Fonction indéterminée  Voir les notices liées en tant qu'auteur
State University College at Buffalo. Fonction indéterminée  Voir les notices liées en tant qu'auteur

Sujet(s) : Mathématiques intuitionnistes  Voir les notices liées en tant que sujet
Théorie de la démonstration  Voir les notices liées en tant que sujet
Intuitionnisme  Voir les notices liées en tant que sujet

Genre ou forme : Actes de congrès  Voir les notices liées en tant que genre ou forme

Identifiants, prix et caractéristiques : ISBN 9780720422573

Identifiant de la notice  : ark:/12148/cb44650128r

Notice n° :  FRBNF44650128 (notice reprise d'un réservoir extérieur)