Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...2., vollst. überarb. und erw. Aufl, 1994
Signatur: TCL3953(2)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Asser, Günter
- Barwise, Jon
- Hermes, Hans
- Schwabhäuser, Wolfram
- Barendregt, Hendrik P
- Bolc, Leonard
- Borowik, Piotr
- Bostock, David
- Fitting, Melvin
- Girard, Jean-Yves
- Gödel, Kurt
- Henkin, Leon
- Heyting, Arend
- Lakatos, Imre
- Malʹcev, Anatolij I
- Mostowski, Andrzej
- Rescher, Nicholas
- Schütte, Kurt
- Wessel, Horst
- Zinovʹev, Aleksandr Aleksandrovič
Erscheinungsform
Schlagwort
- Mathematische Logik
- Logik
- Mathematik
- Modelltheorie
- Rekursionstheorie
- Berechenbarkeit
- Beweis
- Beweistheorie
- Algorithmus
- Automatisches Beweisverfahren
- Gödelscher Unvollständigkeitssatz
- Lambda-Kalkül
- Mehrwertige Logik
- Mengenlehre
- Rekursive Funktion
- Algebra
- Entscheidbarkeit
- Intensionale Logik
- Intuitionistische Mathematik
- Künstliche Intelligenz
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Sprache
Art des Inhalts