Normal view
MARC view
Implication and formal implication (Topical Term)
Machine generated authority record.
Work cat.: (inmoiis)1049: Russell,Bertrand 165, Principles of mathematics, 1996