@incollection{Gandy1980123,
    Author = {Gandy, Robin},
    BookTitle = {The Kleene Symposium},
    Editor = {Jon Barwise, H. Jerome Keisler and Kunen, Kenneth},
    File = {Church's Thesis and Principles for Mechanisms - Gandy (0) (0) - a - a - i.pdf},
    ISSN = {0049-237X},
    Pages = {123 - 148},
    Publisher = {Elsevier},
    Series = {Studies in Logic and the Foundations of Mathematics},
    Title = {Church's Thesis and Principles for Mechanisms},
    URL = {http://www.sciencedirect.com/science/article/pii/S0049237X08712576},
    Volume = {101},
    Year = {1980},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0049237X08712576},
    bdsk-url-2 = {http://dx.doi.org/10.1016/S0049-237X(08)71257-6},
    date-added = {2012-11-20 09:42:45 +0000},
    date-modified = {2012-11-20 09:42:45 +0000},
    doi = {10.1016/S0049-237X(08)71257-6}
}

@incollection{Gandy1980123, Author = {Gandy, Robin}, BookTitle = {The Kleene Symposium}, Editor = {Jon Barwise, H. Jerome Keisler and Kunen, Kenneth}, File = {Church's Thesis and Principles for Mechanisms - Gandy (0) (0) - a - a - i.pdf}, ISSN = {0049-237X}, Pages = {123 - 148}, Publisher = {Elsevier}, Series = {Studies in Logic and the Foundations of Mathematics}, Title = {Church's Thesis and Principles for Mechanisms}, URL = {http://www.sciencedirect.com/science/article/pii/S0049237X08712576}, Volume = {101}, Year = {1980}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0049237X08712576}, bdsk-url-2 = {http://dx.doi.org/10.1016/S0049-237X(08)71257-6}, date-added = {2012-11-20 09:42:45 +0000}, date-modified = {2012-11-20 09:42:45 +0000}, doi = {10.1016/S0049-237X(08)71257-6} }