| 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 |
Accueil
