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 [+]
