TY - `BOOK` AU - Smullyan, Raymond M. TI - First-order logic PB - Springer CY - Berlin ; Heidelberg ; New York PY - 1968 LA - eng SE - XII, 158 S. T2 - Ergebnisse der Mathematik und ihrer Grenzgebiete M1 - 43 N1 - Literaturverz. S. [156] KW - Quantifizierung KW - Mathematische Logik KW - Prädikatenlogik KW - Logik / Stufe 1 CN - 68 B 2781 CN - Smull AN - UBHD-1042003 ER -