m

Documents  Steel, John R. | enregistrements trouvés : 4

O
     

-A +A

P Q

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

- xiii; 272 p.
ISBN 978-0-521-88425-9

Lecture notes in logic , 0028

Localisation : Colloque 1er étage (ATHE)

logique

03-06 ; 00B25

... Lire [+]

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

- 130 p.
ISBN 978-3-540-57494-1

Lecture notes in logic , 0003

Localisation : Ouvrage RdC (MITC)

arbre d'itérations # bonne suite d'extenseurs # fermeture sous segment initial # logique # processus de comparaison # solidité et condensation # souris écrasée # structure fine # structure finie # ultrapuissance # unicité de branche bien trouvée # unicité de l'extenseur suivant

03E10 ; 03E45 ; 03E55 ; 04A10 ; 04A15

... Lire [+]

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

- xi; 445 p.
ISBN 978-0-521-89951-2

Lecture notes in logic , 0031

Localisation : Ouvrage RdC (GAME)

logique # théorie descriptive des ensembles # axiome de détermination

03-06 ; 91-06 ; 00B15 ; 03E15 ; 03E60 ; 91A44

... Lire [+]

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

- xxii-526 p.
ISBN 978-0-521-76203-8

Lecture notes in logic , 0037

Localisation : Ouvrage RdC (WADGE)

logique # histoire de la logique # théorie des ensembles

03-06 ; 01A75 ; 03-03 ; 03Exx ; 00B25

... Lire [+]

Z