Selected Papers on Automath (Studies in Logic and the Foundations of Mathematics)

by: R.P. Nederpelt · J.H. Geuvers · R.C. de Vrijer

Hardcover

details (USA).

ISBN: 978-0-444-89822-7

ISBN-10: 0-444-89822-0

North Holland · 1994