Normal view
MARC view
Lettmann, T. (Theodor)(Personal Name)
Machine generated authority record.
Work cat.: (MY-SjTCS): Kleine Buning, H. (Hans) 11028, Propositional logic :, 1999.