Suchergebnisse
UB Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Zugang
Literaturtyp
Schlagwort
- Beweistheorie 19 Treffer
- Mathematik 10 Treffer
- Konstruktive Mathematik 8 Treffer
- Beweis 6 Treffer
- Mathematische Logik 6 Treffer
-
45 weitere Werte:
- Intuitionistische Mathematik 5 Treffer
- Gödelscher Unvollständigkeitssatz 4 Treffer
- Intuitionistische Logik 3 Treffer
- Automatisches Beweisverfahren 2 Treffer
- Computational logic 2 Treffer
- Konstruktive Analysis 2 Treffer
- Konstruktivismus (Philosophie) 2 Treffer
- Modallogik 2 Treffer
- Peano-Arithmetik 2 Treffer
- Rekursionstheorie 2 Treffer
- Semantik 2 Treffer
- Typentheorie 2 Treffer
- Analysis 1 Treffer
- Berechnungskomplexität 1 Treffer
- Beschränkte Arithmetik 1 Treffer
- Bibliografie 1 Treffer
- Brouwer, Luitzen E. J. (1881-1966) 1 Treffer
- Computational intelligence 1 Treffer
- Computer simulation 1 Treffer
- Congresses 1 Treffer
- Data mining 1 Treffer
- Diagonalisierung 1 Treffer
- Epistemische Logik 1 Treffer
- Existenz 1 Treffer
- Fachsprache 1 Treffer
- Funktionale Programmiersprache 1 Treffer
- Grundlage 1 Treffer
- Gödel-Funktionalinterpretation 1 Treffer
- History 1 Treffer
- Induktive Definition 1 Treffer
- Infinitesimalrechnung 1 Treffer
- Intensionale Logik 1 Treffer
- Kombinatorische Logik 1 Treffer
- Komplexität 1 Treffer
- Konstruktive Logik 1 Treffer
- Kontinuum 1 Treffer
- Logik 1 Treffer
- Mathematical analysis 1 Treffer
- Mathematical logic 1 Treffer
- Mathematics 1 Treffer
- Mathematisches Zeichen 1 Treffer
- Medical informatics 1 Treffer
- Metamathematik 1 Treffer
- Modelltheorie 1 Treffer
- Natürliche Sprache 1 Treffer
Sprache
Form
Person
- Troelstra, Anne S. (1939-2019) 4 Treffer
- Alsina, Claudi (1952-) 2 Treffer
- Bridges, Douglas S. (1945-) 2 Treffer
- Dalen, Dirk van (1932-) 2 Treffer
- Gabbay, Dov M. (1945-) 2 Treffer
-
45 weitere Werte:
- Gottlob, Georg 2 Treffer
- Nelsen, Roger B. (1942-) 2 Treffer
- Beeson, Michael J. 1 Treffer
- Bhateja, Vikrant 1 Treffer
- Bishop, Errett 1 Treffer
- Brouwer, Luitzen E. J. (1881-1966) 1 Treffer
- Buchholz, Wilfried 1 Treffer
- Buss, Samuel R. 1 Treffer
- Cantini, Andrea 1 Treffer
- Carmesin, Hans-Otto 1 Treffer
- Chihara, Charles S. 1 Treffer
- Clote, Peter 1 Treffer
- Costin, Iulia (1971-) 1 Treffer
- Crocco, Gabriella 1 Treffer
- Crossley, John N. (1937-) 1 Treffer
- Dragalin, Al'bert Grigor'evič 1 Treffer
- Dummett, Michael (1925-2011) 1 Treffer
- Fitting, Melvin (1942-) 1 Treffer
- Garnier, Rowan 1 Treffer
- Goubault-Larrecq, Jean 1 Treffer
- Hoeven, Gerrit F. van der 1 Treffer
- Hoffmann, Dirk W. (1972-) 1 Treffer
- Hájek, Petr 1 Treffer
- Jadeja, Mahipal 1 Treffer
- Kahle, Reinhard (1967-) 1 Treffer
- Kestler, Hans A. (1965-) 1 Treffer
- Kleene, Stephen Cole (1909-1994) 1 Treffer
- Kraeft, Uwe 1 Treffer
- Kušner, Boris Abramovič (1941-) 1 Treffer
- Leivant, Daniel 1 Treffer
- Lindström, Per (1936-2009) 1 Treffer
- Loehr, Nicholas A. 1 Treffer
- Luckhardt, Horst 1 Treffer
- Mackie, Ian 1 Treffer
- Martin-Löf, Per 1 Treffer
- Mints, G. E. (1939-) 1 Treffer
- Moldestad, Johan 1 Treffer
- Müller, Gert H. 1 Treffer
- Nelson, Edward (1971-) 1 Treffer
- Orevkov, V. P. 1 Treffer
- Otto, Martin 1 Treffer
- Plato, Jan von (1951-) 1 Treffer
- Pohlers, Wolfram 1 Treffer
- Pohlers, Wolfram (1943-) 1 Treffer
- Pudlák, Pavel (1952-) 1 Treffer
72 Treffer
-
Dordrecht [u.a.]: Kluwer Academic Publ, 2001Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: Elsevier, 1996Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1977Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Monographie, Gedruckte RessourceZugriff:
-
2., erw. Aufl.. - Berlin: Lehmanns Media, 2012Monographie, Gedruckte RessourceZugriff:
-
[Washington, DC]: MAA, 2010Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer Spektrum, 2013Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Monographie, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: North-Holland, 1978Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1981Sammelwerk, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Kluwer, 1996Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1993Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Providence, RI: American Math. Soc, 1984Monographie, Gedruckte RessourceZugriff:
-
Cambridge: Cambridge University Press, 1996Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1989Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
1. [Dr.]. - Providence, RI: American Mathematical Society, 1993Monographie, Gedruckte RessourceZugriff:
-
Amsterdam [u.a.]: Elsevier, 1998Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff:
-
Dordrecht [u.a.]: Reidel, 1983Monographie, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 1997Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Oxford: Clarendon Press, 1993Aufsatzsammlung, Sammelwerk, Gedruckte RessourceZugriff: