• Type-Logical Syntax

Result: Type-Logical Syntax

Title:
Type-Logical Syntax
Involved:
Kubota, Yusuke (Verfasser) ; Levine, Robert (Verfasser) 
Published:
Cambridge : The MIT Press, 2020
Distribution:
The Hague : OAPEN FOUNDATION
Scope:
1 Online-Ressource (420 p.)
Format:
eBook
Language:
English
ISBN:
9780262360807 ; 9780262539746
Open Access Rights:
Open Access

Additional information

Additional functions