Fach | Mathematik |
Kursnummer | 1301 |
Autor | Diller, Justus |
Titel | Klassische Prädikatenlogik |
Jahr | 2000 |
Signatur | AKMH/MAT |
Kurseinheiten | ||
Nr. | Titel | Invent.-Nr. |
01 | Sprache, Semantik und Syntax der klassischen Prädikatenlogik (Teil 1) | 03 / S 31 |
02 | Sprache, Semantik und Syntax T. 2 | 03 / S 80 |
03 | Prädikatenlogik: Schlußregeln ... | 03 / S 94 |
04 | Vollständigkeit und Kompaktheit | 03 / S 114 |
05 | Kompaktheit und Mächtigkeit | 03 / S 125 |
06 | Zahlentheorie der zweiten Stufe | 03 / S 133 |
07 | Interpolation und Definierbarkeit | 03 / S 134 |
Ihr Kontakt: Christoph Spieker