m

F Nous contacter

0
     
Ouvrage

H 0 The foundations of intuitionistic mathematics :
especially in relation to recursive functions

Kleene, Stephen Cole (Principal) ; Vesley, Richard Eugene (Co-auteur)

North-Holland Publishing Co.

1965

206 p.

00004223

03A50 ; 03B20 ; 03Bxx ; 04A30

analyse intuitive # continuum intuitif # logique # logique formelle # ordre de continu # postulat # réalisabilité # système formel

Ville d'édition : Amsterdam

Pays d'édition : Pays-Bas

Langue : Anglais

Collation : Bibliogr. ; Index ; viii#23 cm#rel.

Collection : Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (KLEE)

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

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