Nederpelt, R. P.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Type theory and formal proof : = an introduction /
by:
Nederpelt, R. P.; Geuvers, Herman, (1964-)
(Language materials, printed)
Subjects