Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7): Lambek, J., Scott, P. J.: 9780521356534: Amazon.com: Books
商品説明・詳細
送料・お届け
商品情報
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,Introduction to Higher-Order Categorical Logic - J Lambek - Häftad (9780521356534) | Bokus,Logic, categories and sets | Cambridge University Press,First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories | SpringerLink