Normal view
MARC view
Predicate calculus. (Topical Term)
Machine generated authority record.
Work cat.: (OSt)2874: Margaris, Angelo. 5701, First order mathematical logic, 1990.