@article{10.2307/2271310,
    Author = {Friedman, Joyce},
    File = {2271310 (0) - a - a - u.pdf},
    ISSN = {00224812},
    Journal = {The Journal of Symbolic Logic},
    Number = {4},
    Pages = {289-290},
    Publisher = {Association for Symbolic Logic},
    Title = {Review: Application of Recursive Arithmetic to the Problem of Circuit Synthesis by Alonzo Church},
    URL = {http://www.jstor.org/stable/2271310},
    Volume = {28},
    Year = {1963},
    bdsk-url-1 = {http://www.jstor.org/stable/2271310},
    date-added = {2017-07-09 13:21:39 +0000},
    date-modified = {2017-07-09 13:22:02 +0000},
    reviewed-author = {Alonzo Church},
    doi = {10.2307/2271310}
}

@article{10.2307/2271310, Author = {Friedman, Joyce}, File = {2271310 (0) - a - a - u.pdf}, ISSN = {00224812}, Journal = {The Journal of Symbolic Logic}, Number = {4}, Pages = {289-290}, Publisher = {Association for Symbolic Logic}, Title = {Review: Application of Recursive Arithmetic to the Problem of Circuit Synthesis by Alonzo Church}, URL = {http://www.jstor.org/stable/2271310}, Volume = {28}, Year = {1963}, bdsk-url-1 = {http://www.jstor.org/stable/2271310}, date-added = {2017-07-09 13:21:39 +0000}, date-modified = {2017-07-09 13:22:02 +0000}, reviewed-author = {Alonzo Church}, doi = {10.2307/2271310} }