Normal view
MARC view
- Proof theory
Proof theory Popular works(Topical Term)
Machine generated authority record
Work cat.: (KE-NaSUL)94662: Gibilisco, Stan. 85524, Math proofs demystified, c2005.