m

F Nous contacter

0
     
Ouvrage

H 0 Méthode axiomatique et formalisme. Fasc. III :
la non-contradiction de l'arithmétique

Cavailles, Jean (Principal)

Hermann & Cie.

1938

Pp. 125-194

00003795

11Uxx

arithmétique intuitioniste # existence des objets # expérience dialectique # expérience physique # induction transfinie # logique # méthode de désintégration # méthode de valuation # non contradiction # satisfaction dans un champ # saturation # théori e de la généralisation # théorème de Godel

Ville d'édition : Paris

Pays d'édition : France

Langue : fr

Collation : Bibliogr. ; errata#26 cm#broch. ; Index

Collection : Actualités scientifiques et industrielles

N° de collection : 0610

Sous collection : Le progrès de l'esprit

N° sous-collection : 0011

Localisation : Ouvrage RdC (CAVA)

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

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