m

Documents  Henkin, Leon | enregistrements trouvés : 4

O
     

-A +A

P Q

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.


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.

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

Z