@article{Beth:JSL:1956,
    Author = {Beth, E. W.},
    File = {beth1953 - a - a - w.pdf},
    Journal = {Journal of Symbolic Logic},
    Number = {2},
    Pages = {194--195},
    Publisher = {Association for Symbolic Logic},
    Title = {On Padoa's Method in the Theory of Definition},
    Volume = {21},
    Year = {1956},
    bdsk-url-1 = {https://doi.org/10.2307/2268764},
    date-added = {2019-10-09 16:38:01 +0200},
    date-modified = {2019-10-09 16:38:25 +0200},
    doi = {10.2307/2268764}
}

@article{Beth:JSL:1956, Author = {Beth, E. W.}, File = {beth1953 - a - a - w.pdf}, Journal = {Journal of Symbolic Logic}, Number = {2}, Pages = {194--195}, Publisher = {Association for Symbolic Logic}, Title = {On Padoa's Method in the Theory of Definition}, Volume = {21}, Year = {1956}, bdsk-url-1 = {https://doi.org/10.2307/2268764}, date-added = {2019-10-09 16:38:01 +0200}, date-modified = {2019-10-09 16:38:25 +0200}, doi = {10.2307/2268764} }