m
     
Ouvrage

H 0 Les fondements logiques des mathématiques

Beth, E. W. (Principal)

Gauthier-Villars

1950

241 p.

00003931

01A20 ; 03B30 ; 03B35 ; 68Q55 ; 68T15

aximatique # démonstrat ion de théorème # intuitionisme # mécanisation des preuves # sémantique # théorie des ensembles # théorie des sciences d'Aristote

Ville d'édition : Louvain ; Paris

Pays d'édition : France

Langue : Français

Collation : 25 cm#broch. ; Bibliogr. ; Index ; xv

Collection : Collection de logique mathématique séries a

N° de collection : 0001

Localisation : Ouvrage RdC (BETH)

Notes : Don G. Julia

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

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