Normal view
MARC view
Proof theory. (Topical Term)
Machine generated authority record.
Work cat.: (OSt)1378: Aigner, Martin. 2477, Proofs from the book, 2010.