Deutsche Gesellschaftfür phänomenologische Forschung
Repository | Serials | | Bände
Type-theoretic logic with an operational account of intensionality
Chris FoxShalom Lappin
Band
Title
Autor
