Towards a theory of mechanizable theories: I

Cached

Download Links

by Fol Contexts---The Extensional , Carolyn Talcott , Richard W. Weyhrauch , Ibuki Inc