Vous n'auriez pas dû voir cette page, destinée aux moteurs de recherche. Allez plutôt voir du côté de www.sudoc.abes.fr/DB=2.1/SRCH?IKT=12&TRM=005435234.

The foundations of intuitionistic mathematics [Texte imprimé] : especially in relation to recursive functions / Stephen Cole Kleene,...Richard Eugene Vesley,...

Date :

Editeur / Publisher : Amsterdam : North-Holland , cop. 1965

Type : Livre / Book

Langue / Language : anglais / English

Catalogue Worldcat

Mathématiques intuitionnistes

Fonctions récursives

Classification Dewey : 511.36

Collection : Studies in logic and the foundations of mathematics [Texte imprimé] / Amsterdam : North-Holland , 1951-