Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Zugang
Literaturtyp
Schlagwort
- Mathematische Logik 116 Treffer
- Logik 38 Treffer
- Mathematik 22 Treffer
- Mengenlehre 17 Treffer
- Mathematical logic 15 Treffer
-
45 weitere Werte:
- Mathematics 14 Treffer
- Modallogik 13 Treffer
- Zahlentheorie 10 Treffer
- Grundlage 8 Treffer
- Logic 8 Treffer
- Prädikatenlogik 8 Treffer
- Algebra 7 Treffer
- Aussagenlogik 7 Treffer
- Beweistheorie 7 Treffer
- Discrete mathematics 7 Treffer
- Modelltheorie 7 Treffer
- Logic, Symbolic and mathematical 6 Treffer
- Arithmetik 5 Treffer
- Graph theory 5 Treffer
- Kombinatorische Logik 5 Treffer
- Lambda-Kalkül 5 Treffer
- Abstrakte Zahl 4 Treffer
- Diskrete Mathematik 4 Treffer
- Entscheidungsproblem 4 Treffer
- Frege, Gottlob (1848-1925) 4 Treffer
- Geschichte 4 Treffer
- Philosophie 4 Treffer
- Bibliografie 3 Treffer
- Computational complexity 3 Treffer
- Computer science 3 Treffer
- Computer science—Mathematics 3 Treffer
- Geometry 3 Treffer
- History 3 Treffer
- Philosophy 3 Treffer
- Semantik 3 Treffer
- Algebraic logic 2 Treffer
- Algorithms 2 Treffer
- Analysis 2 Treffer
- Berechenbarkeit 2 Treffer
- Berechnungskomplexität 2 Treffer
- Beweis 2 Treffer
- Datenverarbeitung 2 Treffer
- Entscheidbarkeit 2 Treffer
- Group theory 2 Treffer
- Gödel, Kurt (1906-1978) 2 Treffer
- Hilbert, David (1862-1943) 2 Treffer
- Intensionale Logik 2 Treffer
- Intuitionistische Logik 2 Treffer
- Kombinatorik 2 Treffer
- Komplexitätstheorie 2 Treffer
Sprache
Form
Person
- Hilbert, David (1862-1943) 6 Treffer
- Dalen, Dirk van (1932-) 5 Treffer
- Ebbinghaus, Heinz-Dieter (1939-) 5 Treffer
- Flum, Jörg (1944-) 5 Treffer
- Gabbay, Dov M. (1945-) 5 Treffer
-
45 weitere Werte:
- Asser, Günter 4 Treffer
- Bernays, Paul 4 Treffer
- Felscher, Walter 4 Treffer
- Oberschelp, Arnold (1932-) 4 Treffer
- Russell, Bertrand (1872-1970) 4 Treffer
- Thomas, Wolfgang (1947-) 4 Treffer
- Whitehead, Alfred North (1861-1947) 4 Treffer
- Barwise, Jon (1942-2000) 3 Treffer
- Bostock, David (1936-2019) 3 Treffer
- Church, Alonzo (1903-1995) 3 Treffer
- Curry, Haskell B. 3 Treffer
- Edwards, Robert E. (1926-) 3 Treffer
- Feys, Robert (1889-1961) 3 Treffer
- Hermes, Hans (1912-2003) 3 Treffer
- Tarski, Alfred (1901-1983) 3 Treffer
- Varga, Tamas 3 Treffer
- Venn, John 3 Treffer
- Ackermann, Wilhelm 2 Treffer
- Barendregt, Hendrik P. (1947-) 2 Treffer
- Bocheński, Joseph M. (1902-1995) 2 Treffer
- Bromand, Joachim (1969-) 2 Treffer
- Börger, Egon 2 Treffer
- Carnap, Rudolf (1891-1970) 2 Treffer
- Carroll, Lewis (1832-1898) 2 Treffer
- Conradie, Willem 2 Treffer
- Deutsch, Michael (1944-) 2 Treffer
- Ditmarsch, Hans van (1959-) 2 Treffer
- Downey, R. G. (1957-) 2 Treffer
- Epstein, Richard L. (1947-) 2 Treffer
- Etchemendy, John (1952-) 2 Treffer
- Gerstein, Larry J. (1940-) 2 Treffer
- Givant, Steven R. (1943-) 2 Treffer
- Goranko, Valentin 2 Treffer
- Grädel, Erich (1958-) 2 Treffer
- Gurevich, Yuri (1940-) 2 Treffer
- Gödel, Kurt (1906-1978) 2 Treffer
- Hoek, Wiebe van der 2 Treffer
- Hoffmann, Dirk W. (1972-) 2 Treffer
- Iwanowski, Sebastian 2 Treffer
- Kleene, Stephen Cole (1909-1994) 2 Treffer
- Kracht, Marcus 2 Treffer
- Krajíček, Jan (1960-) 2 Treffer
- Lang, Rainer 2 Treffer
- Lorenzen, Paul (1915-1994) 2 Treffer
- Manin, Jurij I. (1937-2023) 2 Treffer
328 Treffer
-
2., überarb. Aufl.. - Frankfurt am Main: Deutsch, 2001Monographie, Einführung, Gedruckte RessourceZugriff:
-
[Tokyo]: Shoten [u.a.], 1978Monographie, Gedruckte RessourceZugriff:
-
Boston [u.a.]: Birkhäuser, 1991Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Revised ed.. - Cambridge [u.a.]: Cambridge Univ. Pr, 1988Monographie, Gedruckte RessourceZugriff:
-
6. Aufl.. - Berlin [u.a.]: Springer, 1972Monographie, Gedruckte RessourceZugriff:
-
2., erw. Aufl. 2015. - Wiesbaden: Springer Fachmedien Wiesbaden, 2015Online Monographie, Aufsatzsammlung, Elektronische Ressource
-
Berlin [u.a.]: Springer, 1961Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1991Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Zürich [u.a.]: Deutsch, 1981Einführung, Monographie, Teil eines Werkes, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Press, 1995Monographie, Gedruckte RessourceZugriff:
-
2. Aufl.. - Zürich [u.a.]: Deutsch, 1976Einführung, Monographie, Teil eines Werkes, keine AngabeZugriff:
-
1987Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
3., neubearb. u. erw. Aufl.. - Stuttgart: Teubner, 1972Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1973Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1968Monographie, Gedruckte RessourceZugriff:
-
2. ed., repr.. - Cambridge [u.a.]: Cambridge University Press, 1997Monographie, Gedruckte RessourceZugriff:
-
Mannheim [u.a.]: Bibliograph. Inst, 1984Monographie, Gedruckte RessourceZugriff:
-
Mannheim [u.a.]: Bibliograph. Inst, 1983Monographie, Einführung, Gedruckte RessourceZugriff:
-
Dordrecht: Reidel, 1972Monographie, Hochschulschrift, Gedruckte RessourceZugriff:
-
Cambridge: Cambridge University Press, 2021Monographie, Gedruckte RessourceZugriff: