Finn Lawler References (Rev #1, changes)

Showing changes from revision #0 to #1: Added | ~~Removed~~ | ~~Chan~~ged

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 2, 2011 at 15:37:10 by Finn Lawler?. See the history of this page for a list of all contributions to it.