All Products




Showing 1 - 1 of 1 Products
Selected Papers on Automath

Product Type: Book
Edition: 1st Edition
Volume: 133
First Published: 1994
Print: 978-0-444-89822-7
eBook: 978-0-08-088718-0