Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-8405-0073-1
SMS , 0021
Localisation : Salle de manutention
grammaire à deux variables # grammaire à trois variables # grammaire à une variable # logique du premier ordre # modèle généralisé # modèle relativisé # modèle standard # relation d'égalité non-standard # relativisation # système déductif # système logique avec nombre fini de symboles # univers relativisé
03B10 ; 03B22 ; 03C13 ; 03Cxx ; 03D05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Localisation : Colloque 1er étage (BERK)
aleph indice alpha # algèbre cylindrique # algèbre de Boole # deux puissance aleph indice 0 # géométrie elliptique # théorie de quantification # théorie des modèles # théorie des nombres
03-06 ; 03Cxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 508 p.
ISBN 978-0-7204-2043-2
Studies in logic and the foundations of mathematics , 0064
Localisation : Ouvrage RdC (HENK)
algèbre cylindrique # algèbre polyadique
03G15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 302 p.
ISBN 978-0-444-87679-9
Studies in logic and the foundations of mathematics , 0115
Localisation : Ouvrage RdC (HENK)
algèbre cylindrique # algèbre polyadique
03G15
... Lire [+]