Série de EditoraOxford Logic Guides
| Formal Number Theory and Computability: A Workbook por Alec Fisher 9 exemplares | 7 |
| Godel's Incompleteness Theorems por Raymond Smullyan 90 exemplares, 2 críticas | 19 |
| Set Theory and the Continuum Problem por Raymond Smullyan 55 exemplares | 34 |
| Model Theory por Maria Manzano 7 exemplares | 37 |
| Sketches of an Elephant: A Topos Theory Compendium 2 Volume Set por Peter T. Johnstone 10 exemplares | 43 & 44 |
| Category Theory por Steve Awodey 104 exemplares, 1 crítica | 52 |
| Beginning Model Theory: The Completeness Theorem and Some Consequences por Jane Bridge 14 exemplares | |
| Elementary Categories, Elementary Toposes por Colin McLarty 28 exemplares | |
| Introduction to Logic and to the Methodology of Deductive Sciences por Alfred Tarski 354 exemplares, 2 críticas | |
| Recursion Theory for Metamathematics por Raymond Smullyan 43 exemplares |