%0 Journal Article %1 citeulike:14263577 %A van Heijenoort, John %D 1957 %J The Journal of Symbolic Logic %K 03b22-abstract-deductive-systems 00a17-external-book-reviews 03-02-mathematical-logic-and-foundations-research-exposition %N 04 %P 350--351 %R 10.2307/2963911 %T Gentzen Gerhard. Recherches sur la déduction logique. French translation of 4422 by Ladrière Jean, with added footnotes by the translator. Presses Universitaires de France, Paris 1955, XI + 170 pp. %U http://dx.doi.org/10.2307/2963911 %V 22

@article{citeulike:14263577, added-at = {2017-06-29T07:13:07.000+0200}, author = {van Heijenoort, John}, biburl = {https://www.bibsonomy.org/bibtex/2a17365f9cd55a2425a7367fc944ba8c0/gdmcbain}, citeulike-article-id = {14263577}, citeulike-linkout-0 = {http://dx.doi.org/10.2307/2963911}, doi = {10.2307/2963911}, interhash = {88315110c9fb3150de2c1e7624b6c26d}, intrahash = {a17365f9cd55a2425a7367fc944ba8c0}, issn = {0022-4812}, journal = {The Journal of Symbolic Logic}, keywords = {03b22-abstract-deductive-systems 00a17-external-book-reviews 03-02-mathematical-logic-and-foundations-research-exposition}, month = dec, number = 04, pages = {350--351}, posted-at = {2017-01-27 02:52:52}, priority = {2}, timestamp = {2019-06-17T01:53:35.000+0200}, title = {{Gentzen Gerhard. Recherches sur la d\'{e}duction logique. French translation of 4422 by Ladri\`{e}re Jean, with added footnotes by the translator. Presses Universitaires de France, Paris 1955, XI + 170 pp.}}, url = {http://dx.doi.org/10.2307/2963911}, volume = 22, year = 1957 }