Mathematics , Logic
- Mathematics , Logic
Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli
Free Download - Mathematics , Logic
Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli
Free Download 
Mathematics , LogicFirst Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories
Free Download
Mathematics , LogicFirst order categorical logic. Model-theoretical methods in the theory of topoi and related categories
Free Download
Mathematics , LogicFoundations without Foundationalism: A Case for Second-Order Logic
Free Download
