Normal view
MARC view
Proof theory History. (Topical Term)
Machine generated authority record.
Work cat.: (OSt)696217: Wilson, Robin 1658301, Four colors suffice :, 2014