Normal view
MARC view
- Association for Symbolic Logic.
Association for Symbolic Logic. (Corporate Name)
Machine generated authority record.
Work cat.: (BD-SySUS)0: Schwichtenberg, Helmut, 1942- 28141, Proofs and computations /, c2012.