Auteurs : Heyting, A. (Dédic.) ; Dalen, Dirk van (Ed.) ; Dijkman, J.G. (Ed.) ; Kleene, Stephen C. (Ed.) ; Troelstra, A.S. (Ed.)

Editeur : Wolters-Noordhoff

Date de parution : 1968

Nbre/N° de page : 248

Inventaire : 15026

Mots clés : logique ; fondements des mathématiques ; Heyting