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

Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics): Goldblatt, Robert: 9780486450261: Amazon.com: Books,

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

texts/Lambek J., Scott P.J. Introduction to Higher Order Categorical Logic.pdf at master · Mzk-Levi/texts · GitHub,

Cambridge IGCSE and O Level Computer Science Computer Systems Workbook: Hodder Education Group, (Paperback)
1924年 米国 野生植物図鑑『The Book of Wild Flowers』
てつたです。