Search Results

1 - 1 of 1 results for "Geuvers, J.H."

Selected Papers on Automath
US$72.95

The present volume contains a considered choice of the existing literature on Automath. Many of the...