Normal view
MARC view
Symbolic Logic(Topical Term)
Machine generated authority record.
Work cat.: (OSt)751276: D'Agostino Marcllo Ed. 435022, Handbook of tableau methods, 1999