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/lpar/BaazF03.rdf
Matthias Baaz and Christian G. Fermüller: A Translation Characterizing the Constructive Content of Classical Theories. (2003) conf/lpar/BaazF03 10.1007/978-3-540-39813-4_7 A Translation Characterizing the Constructive Content of Classical Theories. 2 Matthias Baaz 1 Christian G. Fermüller 2 107-121 LPAR LPAR 2003 2003 provenance information for RDF data of dblp record 'conf/lpar/BaazF03' 2017-05-23T01:12:11+0200