Type-Logical Syntax
- Title
- Type-Logical Syntax
- ISBN-10
- 0-262-53974-8
- ISBN-13
- 978-0-262-53974-6
- Author(s)
- Yūsuke Kubota, Robert D. Levine
- Publisher
- MIT Press
- Published
- 2020
- Format
- Paperback
Metadata
- EAN
- 9780262539746
- ASIN
- 0262539748
- Prefix
- 978
- Group
- 0
- Group Name
- English language
- Group Identifier
- 978-0
- Registrant
- 262
- Publication
- 53974
- Check Digit
- 6
- Formatted
- 978-0-262-53974-6