Normal view
MARC view
Logic, Symbolic and mathematical Congresses (Topical Term)
Machine generated authority record
Work cat.: (OSt)246557: Augustus de Morgan Workshop (7th : 2005 : London, England) 185336, Interactive logic, c2007.