Logics and type systems

Författare
Jan Herman Geuvers
(Herman Geuvers.)
Genre
theses
Språk
Engelska
Förlag År Ort Om boken ISBN
1993 Nederländerna 209 sidor.