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