Old Web
English
Sign In
Acemap
>
Paper
>
Yusuke Kubota & Robert D. Levine, Type-Logical Syntax. Cambridge, MA: MIT Press, 2020. Pp. xxii + 397.
Yusuke Kubota & Robert D. Levine, Type-Logical Syntax. Cambridge, MA: MIT Press, 2020. Pp. xxii + 397.
2021
Chris Barker
Keywords:
Humanities
Philosophy
Type (model theory)
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]