Normal view
MARC view
Symbolic and Mathematical (Topical Term)
Machine generated authority record
Work cat.: (OSt)9540: KALISH DONALD 5241, Logic Techniques of Formal Reasoning/, 1964