Titre : | Introduction à la logique |
Auteurs : | Alfred Tarski, Auteur |
Type de document : | texte imprimé |
Editeur : | Paris : Gauthier-Villars, 1960 |
Collection : | Collection de logique mathématique. Série A, Monographies réunies par Mme Destouches-Février, Paris |
Sous-collection : | Série A, num. 16 |
Format : | 1 vol. (XV-224 p.) / 24 cm |
Langues: | Français |
Index. décimale : | 511.3 (Logique mathématique ) |
Catégories : | |
Mots-clés: | Théorèmes Démonstration automatique |
Côte titre : |
S8/1874-1875 |
Exemplaires (2)
Cote | Support | Localisation | Disponibilité |
---|---|---|---|
S8/1874 | Livre | Bibliothèque centrale | Disponible |
S8/1875 | Livre | Bibliothèque centrale | Disponible |
![](./images/home.jpg)