%0 Journal Article %1 journals/jsyml/BoileauJ81 %A Boileau, Andre %A Joyal, André %D 1981 %J J. Symb. Log. %K dblp %N 1 %P 6-16 %T La Logique des Topos. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml46.html#BoileauJ81 %V 46

@article{journals/jsyml/BoileauJ81, added-at = {2014-08-05T00:00:00.000+0200}, author = {Boileau, Andre and Joyal, André}, biburl = {https://www.bibsonomy.org/bibtex/28d51aa3f254bff3c2b0c40ae05d50def/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1183740713}, interhash = {f74b2b176b17a8ff45b4d7eb5b883d62}, intrahash = {8d51aa3f254bff3c2b0c40ae05d50def}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 1, pages = {6-16}, timestamp = {2015-06-18T02:31:04.000+0200}, title = {La Logique des Topos.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml46.html#BoileauJ81}, volume = 46, year = 1981 }