Date: 2008-12-12 07:17:03Logic Mathematical logic Abstraction Proof theory Model theory Non-classical logic Predicate logic Philosophical logic Natural deduction Sequent calculus Sequent First-order logic | | Gentzen calculi for the existence predicate Matthias Baaz and Rosalie Iemhoff∗ Institute for Discrete Mathematics and Geometry E104, Technical University Vienna, Wiedner Hauptstrasse 8-10, 1040 Vienna, Austria. baaz@loAdd to Reading ListSource URL: www.phil.uu.nlDownload Document from Source Website File Size: 300,33 KBShare Document on Facebook
|