Normal view
MARC view
- Mathematical logic
Mathematical logic (Topical Term)
Machine generated authority record
Work cat.: (OSt)38264: Andrews Peter B 13081, An introduction to mathematical logic & type theory: to truth through proof, 2001