Type-Logical Syntax, Paperback/Yusuke Kubota