iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.uni-trier.de/rec/conf/birthday/BaazI05.xml
Matthias Baaz Rosalie Iemhoff On the Proof Theory of the Existence Predicate. 125-166 2005 conf/birthday/2005gabbay1 We Will Show Them! (1) db/conf/birthday/Gabbay1.html#BaazI05