Normal view
MARC view
Logic. (Topical Term)
Machine generated authority record.
Work cat.: (BD-DhBPA)13981: Carpenter, Bob. 18375, Type-logical semantics /, 1998.