Boktraven
Startsida
Sök böcker
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.