Normal view
MARC view
Logic, Symbolic and mathematical -- Study and teaching (Topical Term)
Machine generated authority record
Work cat.: (OSt)8860: Portoraro, Frederic D. 21799, Logic with Symlog :, c1994.