Normal view
MARC view
Allum, Derek. (Personal Name)
Machine generated authority record.
Work cat.: (APU)0: Heath, David. 6181, Introductory logic and formal methods /, 1994.