|
1 |
Theorie der Logischen Auswahlfunktionen Enthalten in Mathematical logic quarterly Bd. 3, 2006, Nr. 1‐5: 30-68. 39 S.
|
|
|
2 |
Eine semantische Charakterisierung der deduktiv abgeschlossenen Mengen des Prädikatenkalküls der ersten Stufe Enthalten in Mathematical logic quarterly Bd. 1, 2006, Nr. 1: 3-28. 26 S.
|
|
|
3 |
Arbeiten zur Analysis und zur mathematischen Logik Peano, Giuseppe. - Vienna : Springer Vienna, 1990
|
|
|
4 |
Arbeiten zur Analysis und zur mathematischen Logik Peano, Giuseppe. - Leipzig : BSB Teubner, 1989, 1. Aufl.
|
|
|
5 |
Die Mengenlehre als Grundlage der Mathematik Asser, Günter. - [Berlin] : Präsidium d. Urania, 1984
|
|
|
6 |
Über unendliche, lineare Punktmannigfaltigkeiten Cantor, Georg. - Leipzig : Teubner, [1984], 1. Aufl.
|
|
|
7 |
Theory of sets and topology Berlin : Deutscher Verlag d. Wiss., VEB, 1972
|
|
|
8 |
Enzyklopädie der Elementarmathematik / Bd. 1. Arithmetik 1965, 2., bericht. Aufl.
|
|
|
9 |
Mathematische und physikalisch-technische Probleme der Kybernetik Berlin : Akademie-Verl., 1963
|
|
|
10 |
Theorie der abstrakten Automaten Gluškov, Viktor Michajlovič. - Berlin : VEB Dt. Verl. d. Wissenschaften, 1963
|
|