Normal view
MARC view
Propositional calculus. (Topical Term)
Machine generated authority record.
Work cat.: (OSt)1155: Mendelson, Elliott. 788, Introduction to mathematical logic, 2010.