Normal view
MARC view
Predicate calculus (Topical Term)
Machine generated authority record.
Work cat.: ()857582: Toledo, Sue, 1940- 977940, Tableau systems for first order number theory and certain higher order theories /, 1975
