洋書 [A11424843]Introduction to Higher-Order Categorical Logic (Cambridge Studie
商品説明・詳細
送料・お届け
商品情報
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.: 9780521246651: Amazon.com: Books,Introduction higher order categorical logic | Logic, categories and sets | Cambridge University Press,Combinatorics and Partially Ordered Sets: Dimension Theory (Johns Hopkins Studies in the Mathematical Sciences, 6): Trotter, William T.: ,Singularities of the Minimal Model Program