The foundations of intuitionistic mathematics : 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 / Amsterdam : North-Holland , 1951-