Normal view
MARC view
Logic, Symbolic and mathematical  (Topical Term)
Machine generated authority record.
Work cat.: (OSt)47141: Heinz-Dieter Ebbinghaus 39547, Mathematical logic, 2021