Cote : 00006910
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
Localisation : Salle de manutention