On the proof theory of the existence predicate Matthias Baaz and Rosalie Iemhoff abstract. Keywords: Intuitionistic logic, existence predicate, exististence logics, Gentzen

First Page		Document Content
Date: 2008-12-12 07:16:16		On the proof theory of the existence predicate Matthias Baaz and Rosalie Iemhoff abstract. Keywords: Intuitionistic logic, existence predicate, exististence logics, Gentzen Add to Reading List Source URL: www.phil.uu.nl Download Document from Source Website File Size: 652,64 KB Share Document on Facebook