 |
| 1. |
|
Mathematical Logic
Heinz-Dieter Ebbinghaus, Jorg Flum, Wolfgang Thomas
E-bok. Springer International Publishing, Schweiz, 2021.
|
 |
| 2. |
|
Finite Model Theory
Heinz-Dieter Ebbinghaus, Jorg Flum
E-bok. Springer Berlin Heidelberg, Tyskland, 2005.
|
|
| 3. |
|
Topological Model Theory
Jorg Flum, Martin Ziegler
E-bok. Springer Berlin Heidelberg, Tyskland, 2006.
|
|
| 4. |
|
Computer Science Logic
Jorg Flum, Mario Rodriguez-Artalejo
E-bok. Springer Berlin Heidelberg, Tyskland, 2003.
|
|
| 5. |
|
Finite Model Theory
Heinz-Dieter Ebbinghaus, Jorg Flum
E-bok. Springer Berlin Heidelberg, Tyskland, 2013.
|
|
| 6. |
|
Einführung in die mathematische Logik
Heinz-Dieter Ebbinghaus, Jorg Flum, Wolfgang Thomas
E-bok. Springer Berlin Heidelberg, Tyskland, 2018.
|
|
|
|
