Normal view
MARC view
Proof theory(Topical Term)
Machine generated authority record
Work cat.: (OSt)124364: Tao, Terence, 63, Compactness and contradiction /, 2026.