Normal view
MARC view
Proof theory (Topical Term)
Machine generated authority record.
Work cat.: (OSt)75226: Klenk, Virginia 1538329, Understanding symbolic logic /, 1989