First-order logic. Smullyan, R. M. Springer-Verlag New York, Inc., New York, 1968. bibtex @book {MR0243994,
AUTHOR = {Smullyan, Raymond M.},
TITLE = {First-order logic},
SERIES = {Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 43},
PUBLISHER = {Springer-Verlag New York, Inc., New York},
YEAR = {1968},
PAGES = {xii+158},
MRCLASS = {02.16},
MRNUMBER = {0243994 (39 \#5311)},
MRREVIEWER = {W. Taylor},
BOEKCODE = {03-xx},
}
Downloads: 0
{"_id":"t3GZwpyPvu4cWZuLp","bibbaseid":"smullyan-firstorderlogic-1968","author_short":["Smullyan, R. M."],"bibdata":{"bibtype":"book","type":"book","author":[{"propositions":[],"lastnames":["Smullyan"],"firstnames":["Raymond","M."],"suffixes":[]}],"title":"First-order logic","series":"Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 43","publisher":"Springer-Verlag New York, Inc., New York","year":"1968","pages":"xii+158","mrclass":"02.16","mrnumber":"0243994 (39 #5311)","mrreviewer":"W. Taylor","boekcode":"03-xx","bibtex":"@book {MR0243994,\r\n AUTHOR = {Smullyan, Raymond M.},\r\n TITLE = {First-order logic},\r\n SERIES = {Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 43},\r\n PUBLISHER = {Springer-Verlag New York, Inc., New York},\r\n YEAR = {1968},\r\n PAGES = {xii+158},\r\n MRCLASS = {02.16},\r\n MRNUMBER = {0243994 (39 \\#5311)},\r\nMRREVIEWER = {W. Taylor},\r\n BOEKCODE = {03-xx},\r\n}\r\n\r\n\r\n","author_short":["Smullyan, R. M."],"key":"MR0243994","id":"MR0243994","bibbaseid":"smullyan-firstorderlogic-1968","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"book","biburl":"https://fa.ewi.tudelft.nl/Library/Boeken.bib","dataSources":["ciMNZooLoSbw5kwup"],"keywords":[],"search_terms":["first","order","logic","smullyan"],"title":"First-order logic","year":1968}