|
1. |
|
Decidable Theories
Dirk Siefkes, Gert H Muller
E-bok. Springer Berlin Heidelberg, Tyskland, 2006.
|
|
2. |
|
Recursion Theory Week
Heinz-Dieter Ebbinghaus, Gert H Muller, Gerald E Sacks
E-bok. Springer Berlin Heidelberg, Tyskland, 2006.
|
|
3. |
|
Recursion Theory Week
Klaus Ambos-Spies, Gert H Muller, Gerald E Sacks
E-bok. Springer Berlin Heidelberg, Tyskland, 2006.
|
|
4. |
|
O-Bibliography of Mathematical Logic
Wolfgang Lenski, Heinz-Dieter Ebbinghaus, Gert H Muller
E-bok. Springer Berlin Heidelberg, Tyskland, 2013.
|
|
|
|