
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7),

Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7): Lambek, J., Scott, P. J.: 9780521356534: Amazon.com: Books,

Introduction higher order categorical logic | Logic, categories and sets | Cambridge University Press,

An Introduction to Formal Logic,

Introduction formal logic 2nd edition | Logic | Cambridge University Press,
ヴィンテージ 2010 ENCENS エンセンス 初期 Numero 25 アート 洋書
特選コシヒカリ(無洗米) 5kg