Finn Lawler References (Rev #4, changes)

Showing changes from revision #3 to #4: Added | Removed | Changed

• Jacobs, B. Categorical Logic and Type Theory, Elsevier 1999.

• Johnstone, P. T. Sketches of an Elephant: A Topos Theory Compendium, OUP 2002.

• Pavlovic, D. Maps II: Chasing diagrams in categorical proof theory. Logic Journal of the IGPL, 4(2), 1996.

• Prawitz, D. Natural Deduction: A Proof-Theoretical Study. Almqvist & Wiksell, 1965.

• Seely, R. A. G. Hyperdoctrines, natural deduction and the Beck condition. Zeitschr. f. math. Logik und Grundlagen der Math. , 29:505–542, 1983. (PDF).