%0 Journal Article %1 journals/jsyml/YaacovP07 %A Yaacov, Itaï Ben %A Poizat, Bruno %D 2007 %J J. Symb. Log. %K dblp %N 4 %P 1141-1162 %T Fondements de la logique positive. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml72.html#YaacovP07 %V 72

@article{journals/jsyml/YaacovP07, added-at = {2014-08-05T00:00:00.000+0200}, author = {Yaacov, Itaï Ben and Poizat, Bruno}, biburl = {https://www.bibsonomy.org/bibtex/208dbda110933a528c05ca38eba317d82/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1203350777}, interhash = {91647c2caff9f37f36579fbf37fce33f}, intrahash = {08dbda110933a528c05ca38eba317d82}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 4, pages = {1141-1162}, timestamp = {2015-06-18T02:32:52.000+0200}, title = {Fondements de la logique positive.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml72.html#YaacovP07}, volume = 72, year = 2007 }