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