Type-Logical Syntax

AED372.75
(0) Write a Review
SKU:
9780262539746
UPC:
9780262539746

Product Description

ISBN:9780262539746
TITLE: Type-Logical Syntax
AUTHOR: Yusuke Kubota
PUBLISHER: MIT Press Ltd
PUBLISHER DATE: 15 Sep 2020

Other Details

ISBN:
9780262539746
Author:
Yusuke Kubota
Publisher:
MIT Press Ltd
Publisher Date:
15 Sep 2020
Book Format:
Paperback