Suchergebnisse
Katalog
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Zugang
Form
Literaturtyp
Schlagwort
- Mathematische Logik 43 Treffer
- Modelltheorie 29 Treffer
- Logik 21 Treffer
- Fuzzy-Logik 16 Treffer
- Mathematik 13 Treffer
-
45 weitere Werte:
- Beweistheorie 11 Treffer
- Fuzzy-Menge 11 Treffer
- Gödelscher Unvollständigkeitssatz 11 Treffer
- Berechenbarkeit 9 Treffer
- Mengenlehre 8 Treffer
- Rekursivität 8 Treffer
- Algebra 7 Treffer
- Rekursionstheorie 7 Treffer
- Topos (Mathematik) 7 Treffer
- Fuzzy-Regelung 6 Treffer
- Modallogik 6 Treffer
- Rekursive Funktion 6 Treffer
- Beweis 5 Treffer
- Intuitionistische Mathematik 5 Treffer
- Metamathematik 5 Treffer
- Prädikatenlogik 5 Treffer
- Auswahlaxiom 4 Treffer
- Berechenbare Funktion 4 Treffer
- Geschichte 4 Treffer
- Konstruktive Mathematik 4 Treffer
- Algorithmus 3 Treffer
- Analysis 3 Treffer
- Automatisches Beweisverfahren 3 Treffer
- Forcing 3 Treffer
- Gödel, Kurt (1906-1978) 3 Treffer
- Intuitionistische Logik 3 Treffer
- Logic, Symbolic and mathematical 3 Treffer
- Mathematisches Modell 3 Treffer
- Mehrwertige Logik 3 Treffer
- Stabilität 3 Treffer
- Algebraische Modelltheorie 2 Treffer
- Arithmetik 2 Treffer
- Aussagenlogik 2 Treffer
- Axiomatik 2 Treffer
- Boolesche Algebra 2 Treffer
- Datenverarbeitung 2 Treffer
- Gruppentheorie 2 Treffer
- Gödelscher Vollständigkeitssatz 2 Treffer
- Induktive Logik 2 Treffer
- Kategorie (Mathematik) 2 Treffer
- Konstruktive Analysis 2 Treffer
- Kontinuumshypothese 2 Treffer
- Logikkalkül 2 Treffer
- Nichtklassische Logik 2 Treffer
- Nonstandard-Analysis 2 Treffer
Sprache
Standort
Quelle der Treffer
314 Treffer
-
Cham, Switzerland: Springer, [2022]Monographie, Gedruckte RessourceZugriff:
-
Berlin: Propyläen, [2022]Monographie, Biografie, Gedruckte RessourceZugriff:
-
Third edition. - Cham, Switzerland: Springer, [2021]Monographie, Gedruckte RessourceZugriff:
-
Cham, Switzerland: Springer, [2019]Monographie, Konferenzschrift, Gedruckte RessourceZugriff:
-
Philadelphia: siam, Society for Industrial and Applied Mathematics, [2019]Monographie, Konferenzschrift, Gedruckte RessourceZugriff:
-
Princeton and Oxford: Princeton University Press, [2018]Monographie, Gedruckte RessourceZugriff:
-
2. Auflage. - Berlin: Springer, [2017]Monographie, Gedruckte RessourceZugriff:
-
Providence, Rhode Island: American Mathematical Society, [2017]Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Providence, Rhode Island: American Mathematical Society, [2016]Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cham [u.a.]: Springer, 2015Sammelwerk, Gedruckte RessourceZugriff:
-
Berlin [u.a.]: Springer, 2014Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
First published in paperback. - Oxford: Oxford University Press, 2014Monographie, Gedruckte RessourceZugriff:
-
Princeton, NJ [u.a.]: Princeton Univ. Press, 2012Monographie, Hochschulschrift, Quelle, Gedruckte RessourceZugriff:
-
Providence, RI: American Math. Soc, 2012Konferenzschrift, Festschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
2. ed.. - New York [u.a.]: Springer, 2011Monographie, Gedruckte RessourceZugriff:
-
Providence, RI: American Math. Soc, 2011Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
New York [u.a.]: Springer, 2010Monographie, Gedruckte RessourceZugriff:
-
Providence, RI: American Math. Soc, 2010Konferenzschrift, Sammelwerk, Gedruckte RessourceZugriff:
-
Cambridge [u.a.]: Cambridge Univ. Press, 2009Monographie, Gedruckte RessourceZugriff:
-
Malden, MA [u.a.]: Wiley-Blackwell, 2009Monographie, Gedruckte RessourceZugriff: