Finn Lawler
References (Rev #3, changes)
Showing changes from revision #2 to #3:
Added | Removed | Changed
Johnstone, Jacobs, P. B. T. Sketches Categorical of Logic an and Elephant: Type A Topos Theory Compendium , OUP Elsevier 2002. 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.
Revision on February 3, 2011 at 16:35:42 by
Finn Lawler?.
See the history of this page for a list of all contributions to it.