Normal view
MARC view
Natural deduction (Topical Term)
Machine generated authority record.
Work cat.: (inmoiis)0: Restall, Greg, 1969- 3780, Logic:, 2005.