m
     
Congrès

H 0 Logical systems containing only a finite number of symbols

Henkin, Leon (Principal)

Les Presse de l'Université de Montréal

1967

978-0-8405-0073-1

00006910

03B10 ; 03B22 ; 03C13 ; 03Cxx ; 03D05

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é

Ville d'édition : Montréal

Pays d'édition : Canada

Langue : Anglais

EAN13 : 9780840500731

ISBN : 0-8405-0073-4

Collation : 27.5 cm. ; 52 p. ; broch. ; multigr.

Collection : SMS

N° de collection : 0021

Localisation : Salle de manutention

Notes : Liste des publications su SMS

Type Congrès : Séminaire

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00006910 [disponible]
Z