
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,
洋書 [A12277021]Statistical Physics of Particles
あきたこまち10kg+めんこいな2kg 合計12kg