Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Literaturtyp
Schlagwort
- Logik 10 Treffer
- Algebra 3 Treffer
- Beweistheorie 3 Treffer
- Modelltheorie 3 Treffer
- Datenverarbeitung 2 Treffer
-
18 weitere Werte:
- Kongress 2 Treffer
- Algebraische Geometrie 1 Treffer
- Anwendung 1 Treffer
- Bibliografie 1 Treffer
- Garbe (Mathematik) 1 Treffer
- Garbentheorie 1 Treffer
- Geometrie 1 Treffer
- Grundlage 1 Treffer
- Gruppentheorie 1 Treffer
- Gödel, Kurt (1906-1978) 1 Treffer
- Herbrand, Jacques (1908-1931) 1 Treffer
- Kategorie (Mathematik) 1 Treffer
- Lambda-Kalkül 1 Treffer
- Mathematik 1 Treffer
- Mengenlehre 1 Treffer
- Ringtheorie 1 Treffer
- Schütte, Kurt (1909-1998) 1 Treffer
- Universelle Algebra 1 Treffer
Sprache
Form
Person
- Müller, Gert H. (1923-2006) 2 Treffer
- Andréka, Hajnal (1947-) 1 Treffer
- Arruda, Ayda I. 1 Treffer
- Bokut', Leonid A. (1937-) 1 Treffer
- Bucur, Ion 1 Treffer
-
20 weitere Werte:
- Carnielli, Walter A. 1 Treffer
- Casari, Ettore 1 Treffer
- Crossley, John N. (1937-) 1 Treffer
- Csirmaz, László 1 Treffer
- Diller, Justus 1 Treffer
- Fenstad, Jens Erik (1935-2020) 1 Treffer
- Fourman, Michael P. 1 Treffer
- Gödel, Kurt (1906-1978) 1 Treffer
- Hintikka, Jaakko (1929-2015) 1 Treffer
- Hodges, Wilfrid (1941-) 1 Treffer
- Lawvere, Francis W. (1937-2023) 1 Treffer
- Malʹcev, Anatolij I. (1909-1967) 1 Treffer
- Mathias, Adrian R. D. (1944-) 1 Treffer
- Metakides, George (1945-) 1 Treffer
- Petkov, Petio P. 1 Treffer
- Prisco, Carlos Augusto di (1949-) 1 Treffer
- Richter, Michael M. (1938-2020) 1 Treffer
- Schütte, Kurt 1 Treffer
- Shinoda, Juichi 1 Treffer
- Skordev, Dimiter Genčev 1 Treffer
37 Treffer
-
Amsterdam [u.a.]: North-Holland Publ. Co (1988) ; Cambridge [u.a.]: Univ. Pr (1980), 1988; 1980Konferenzschrift, Monographie, Teil eines Werkes, keine AngabeZugriff:
-
Dordrecht: Reidel, 1979Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1975Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1985Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Stanford, Calif.: CSLI Publ. [u.a.], 1995Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1979Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Plenum Pr, 1990Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam: North-Holand Publ. Comp, 1982Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland Publ. Co (1986) ; Cambridge [u.a.]: Univ. Pr (1980), 1986; 1980Konferenzschrift, Monographie, Teil eines Werkes, keine AngabeZugriff:
-
Amsterdam [u.a.]: North-Holland Publ. Co (1977) ; Cambridge [u.a.]: Univ. Pr (1980), 1977; 1980Konferenzschrift, Monographie, Teil eines Werkes, keine AngabeZugriff:
-
Amsterdam [u.a.]: North-Holland Publ. Co (1979) ; Cambridge [u.a.]: Univ. Pr (1980), 1979; 1980Monographie, Teil eines Werkes, keine AngabeZugriff:
-
Amsterdam [u.a.]: North-Holland Publ. Co (1987) ; Cambridge [u.a.]: Univ. Pr (1980), 1987; 1980Konferenzschrift, Monographie, Teil eines Werkes, keine AngabeZugriff:
-
Roma: Ed. Cremonese, 1969Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Providence, RI: American Mathematical Society, 1988Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland Publ. Co, 1980Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland Publ. Co (1975-1989) ; Cambridge [u.a.]: Univ. Pr (1980), 1975-1989Zeitschrift, Konferenzschrift, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland Publ. Co, 1971Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland Publ. Co (1989) ; Cambridge [u.a.]: Univ. Pr (1980), 1989; 1980Konferenzschrift, Monographie, Teil eines Werkes, keine AngabeZugriff:
-
Amsterdam [u.a.]: North-Holland Publ. Co (1978) ; Cambridge [u.a.]: Univ. Pr (1980), 1978; 1980Konferenzschrift, Monographie, Teil eines Werkes, keine AngabeZugriff: