Uploads by thymine235711

1968966

Introduction to Higher-Order Categorical Logic (J. Lambek, P. J. Scott) (z-lib.org)