Cours de logique mathématique. Tome 1 : Relation et formule logique - 2ème édition revue et modifiée [monographie] |
Auteur(s): | Fraïssé, Roland (1920-2008)
|
Editeur, date d'édition: | Gauthier-Villars, 1971 (2ed. édition)
|
Ville(s) d'édition: | Paris (FR)
|
Notes: | xiv ; bibliogr. pp. 185-192 ; index pp. 193-194 ; 24 cm ; 197 p.
|
Thèmes: | logique, relation, connexion, calcul predicat, interpolation craig, formule, multi-relation, theoreme completude, theoreme interpolation, theoreme interpretabilite, formule biassignee, mot, formule atomique, formule connective
|
Localisation: | Ouvrages localisés fonds enseignement - 1ère salle |
Exemplaire(s)
Cote | Retour |
---|
05 FRA 71-1 | Disponible |
05 FRA 71-1 | Disponible |