%0 Journal Article %1 journals/sLogica/BaazI06 %A Baaz, Matthias %A Iemhoff, Rosalie %D 2006 %J Stud Logica %K dblp %N 1 %P 7-23 %T Gentzen Calculi for the Existence Predicate. %U http://dblp.uni-trier.de/db/journals/sLogica/sLogica82.html#BaazI06 %V 82

@article{journals/sLogica/BaazI06, added-at = {2020-09-01T00:00:00.000+0200}, author = {Baaz, Matthias and Iemhoff, Rosalie}, biburl = {https://www.bibsonomy.org/bibtex/2de1b8489eac8e6e229da70142510758d/dblp}, ee = {https://doi.org/10.1007/s11225-006-6603-6}, interhash = {66fe4bcef5c830181f534f479793a883}, intrahash = {de1b8489eac8e6e229da70142510758d}, journal = {Stud Logica}, keywords = {dblp}, number = 1, pages = {7-23}, timestamp = {2020-09-09T12:38:58.000+0200}, title = {Gentzen Calculi for the Existence Predicate.}, url = {http://dblp.uni-trier.de/db/journals/sLogica/sLogica82.html#BaazI06}, volume = 82, year = 2006 }