Abstract Automath
by
A. Rezus
details (
United Kingdom
).
ISBN: 978-90-6196-256-4
ISBN-10: 90-6196-256-0
Mathematisch Centrum
· 1983