@article{church1956introduction,
  title={Introduction to Mathematical Logic},
  publisher={Jersey:Princeton University Press},
  author={Church, Alonzo},
  year={1956}
}

% Rosenberg I. La structure des fonctions de plusieurs variables sur un ensemble finit, C.R. Acad. Sci., Paris, 1965, Vol. 260, Groupe 1, p. 3817-3819

{"_id":"tfKZcex7aF6wq4iKC","bibbaseid":"church-introductiontomathematicallogic-1956","authorIDs":[],"author_short":["Church, A."],"bibdata":{"bibtype":"article","type":"article","title":"Introduction to Mathematical Logic","publisher":"Jersey:Princeton University Press","author":[{"propositions":[],"lastnames":["Church"],"firstnames":["Alonzo"],"suffixes":[]}],"year":"1956","bibtex":"@article{church1956introduction,\r\n title={Introduction to Mathematical Logic},\r\n publisher={Jersey:Princeton University Press},\r\n author={Church, Alonzo},\r\n year={1956}\r\n}\r\n\r\n% Rosenberg I. La structure des fonctions de plusieurs variables sur un ensemble finit, C.R. Acad. Sci., Paris, 1965, Vol. 260, Groupe 1, p. 3817-3819\r\n","author_short":["Church, A."],"key":"church1956introduction","id":"church1956introduction","bibbaseid":"church-introductiontomathematicallogic-1956","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"article","biburl":"https://bibbase.org/network/files/7XRk2LnYnoMXTeTGd","creationDate":"2020-03-03T18:21:14.047Z","downloads":0,"keywords":[],"search_terms":["introduction","mathematical","logic","church"],"title":"Introduction to Mathematical Logic","year":1956,"dataSources":["aLdZwznN42gCxDNro","cx4WvnDhXJhiLqdQo","miATaBcHpgdaQgsZ3"]}