Série éditorialeOxford Logic Guides
| Formal Number Theory and Computability: A Workbook par Alec Fisher 9 exemplaires | 7 |
| LOGIQUE MATHEMATIQUE. Cours et exercices. I. Calcul propositionnel, algèbre de Boole, calcul des prédicats par Raymond Smullyan 90 exemplaires, 2 critiques | 19 |
| Set Theory and the Continuum Problem par Raymond Smullyan 55 exemplaires | 34 |
| Model Theory par Maria Manzano 7 exemplaires | 37 |
| Sketches of an Elephant: A Topos Theory Compendium 2 Volume Set par Peter T. Johnstone 10 exemplaires | 43 & 44 |
| Category Theory par Steve Awodey 104 exemplaires, 1 critique | 52 |
| Beginning Model Theory: The Completeness Theorem and Some Consequences par Jane Bridge 14 exemplaires | |
| Elementary Categories, Elementary Toposes par Colin McLarty 28 exemplaires | |
| Introduction à la logique par Alfred Tarski 355 exemplaires, 2 critiques | |
| Recursion Theory for Metamathematics par Raymond Smullyan 43 exemplaires |