Media type: Book Title: First-order logic Contributor: Smullyan, Raymond M. [Author] imprint: Berlin; Heidelberg; New York: Springer, 1968 Published in: Ergebnisse der Mathematik und ihrer Grenzgebiete ; 43 Extent: XII, 158 S. Language: English RVK notation: SK 130 : Logik und Grundlagen, Metamathematik, CC 2600 : Abhandlungen zur Logik und mathematischen Grundlagenforschung Keywords: Quantifizierung Mathematische Logik Prädikatenlogik Logik > Stufe 1 Origination: Footnote: Literaturverz. S. [156]
Central Library – open access area Shelf-mark: SK 130 S666 Item ID: 10430658 Due date: 2024/08/07 Status: On loan, place hold > Reservation possible ‒ please log in
Central Library – stack Shelf-mark: 21 8 01286 043 01 0 1 Item ID: 31923026 Status: Loanable, place order > Ordering possible ‒ please log in Orders received from Mon - Fri by 1 pm are expected to be ready for you on the same day.