%0 Book %1 citeulike:3487572 %A Girard, Jean-Yves %B Le point aveugle : cours de logique %D 2006 %I Hermann %K 03f03-proof-theory-general 03-01-mathematical-logic-and-foundations-instructional-exposition %T Vers la perfection %U http://www.worldcat.org/isbn/2705666338 %@ 2705666338

@book{citeulike:3487572, added-at = {2017-06-29T07:13:07.000+0200}, author = {Girard, Jean-Yves}, biburl = {https://www.bibsonomy.org/bibtex/247944704b9e52dd85dd278a262c22112/gdmcbain}, booktitle = {Le point aveugle : cours de logique}, citeulike-article-id = {3487572}, citeulike-attachment-1 = {girard_06_vers_chs1-2.pdf; /pdf/user/gdmcbain/article/3487572/1104193/girard_06_vers_chs1-2.pdf; 430ce264da6f0eaa8b7d41b9435b10a36f4cab0b}, citeulike-linkout-0 = {http://www.amazon.de/exec/obidos/redirect?tag=citeulike01-21\&path=ASIN/2705666338}, citeulike-linkout-1 = {http://www.amazon.fr/exec/obidos/redirect?tag=citeulike06-21\&path=ASIN/2705666338}, citeulike-linkout-2 = {http://www.worldcat.org/isbn/2705666338}, citeulike-linkout-3 = {http://books.google.com/books?vid=ISBN2705666338}, citeulike-linkout-4 = {http://www.amazon.com/gp/search?keywords=2705666338\&index=books\&linkCode=qs}, citeulike-linkout-5 = {http://www.librarything.com/isbn/2705666338}, citeulike-linkout-6 = {http://www.worldcat.org/oclc/492516041}, day = 01, file = {girard_06_vers_chs1-2.pdf}, howpublished = {Broch\'{e}}, interhash = {7b531c84d3dc3cc3172aa238dbd4340d}, intrahash = {47944704b9e52dd85dd278a262c22112}, isbn = {2705666338}, keywords = {03f03-proof-theory-general 03-01-mathematical-logic-and-foundations-instructional-exposition}, month = jul, posted-at = {2017-01-27 03:15:18}, priority = {5}, publisher = {Hermann}, timestamp = {2019-05-27T03:20:07.000+0200}, title = {{Vers la perfection}}, url = {http://www.worldcat.org/isbn/2705666338}, year = 2006 }