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

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

Categorical Logic and Type Theory (Volume 141) (Studies in Logic and the Foundations of Mathematics, Volume 141),

Georg Wilhelm Friedrich Hegel: The Science of Logic (Cambridge Hegel Translations): Hegel, Georg Wilhelm Fredrich, Di Giovanni, George: 9780521832557: Amazon.com: Books,

Combinatorics and Partially Ordered Sets: Dimension Theory (Johns Hopkins Studies in the Mathematical Sciences, 6): Trotter, William T.:
[A11009904]Groundwater Updates Sato, K.; Iwasa, Y.
シャトー パルメ 1999