Verfasst von: | Smullyan, Raymond M. |
---|---|
Titel: | First-order logic |
Verf.angabe: | Raymond M. Smullyan |
Verlagsort: | Berlin ; Heidelberg ; New York |
Verlag: | Springer |
Jahr: | 1968 |
Umfang: | XII, 158 S. |
Gesamttitel/Reihe: | Ergebnisse der Mathematik und ihrer Grenzgebiete ; 43 |
Fussnoten: | Literaturverz. S. [156] |
Schlagwörter: | (s)Quantifizierung |
(s)Mathematische Logik | |
(s)Prädikatenlogik | |
(s)Logik / (s)Stufe 1 | |
Sprache: | eng |
RVK-Notation: | CC 2600 |
SK 130 | |
K10plus-PPN: | 1081193743 |
Verknüpfungen: | → Übergeordnete Aufnahme |
Signatur | QR | Standort | Status | |
---|---|---|---|---|
68 B 2781 | Hauptbibliothek Altstadt / Tiefmagazin NC B | bestellbar | ||
Mediennummer: 01042003 | ||||
Smull | Bereichsbibl. Mathematik+Informatik | Präsenznutzung | ||
Mediennummer: 34132347, Inventarnummer: 12755 |