m

Documents  Critères de recherche : "Elements of mathematical logic" | enregistrements trouvés : 3

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 127 p.

International series on monographs in pure and applied mathematics , 0031

Localisation : Ouvrage RdC (LUKA)

axiomatique # fondement # logique mathématique # prédicat # quantificateur # règle d'inférence # syllogisme d'Aristote # épistémologie

03-01 ; 03A05 ; 03B30 ; 03Bxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 349 p.

Pure and applied mathematics , 0096

Localisation : Ouvrage RdC (SLUP)

calcul des sentences # calcul fonctionnel # ensembles ordonnés # logique mathématique # théorie des ensembles

03Bxx ; 03Exx ; 06Axx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 214 p.

Localisation : Ouvrage RdC (ROSE)

fondements des mathématiques # logique mathématique

03-XX

... Lire [+]

Z