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)
Ergebnisse der Mathematik und ihrer Grenzgebiete : A,3,4 (Alle Bände)
Reprint [d. Ausg.] Berlin 1934, 1974
Signatur: TCL1244
Aktive Filter
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Asser, Günter
- Hermes, Hans
- Schwabhäuser, Wolfram
- Bolc, Leonard
- Borowik, Piotr
- Wessel, Horst
- Zinovʹev, Aleksandr Aleksandrovič
- Barwise, Jon
- Becker, Oskar
- Belnap, Nuel D
- Bothe, Hans-Heinrich
- Börcsök, Josef
- Colloquium on Modal and Many Valued Logics
- Cresswell, Maxwell J
- Deiser, Oliver
- Ganter, Bernhard
- Gentzen, Gerhard
- Gottwald, Siegfried
- Hara, Yoshio
- Heidler, Klaus
Erscheinungsform
Schlagwort
- Mathematische Logik
- Logik
- Mathematik
- Modelltheorie
- Algorithmus
- Berechenbarkeit
- Rekursionstheorie
- Rekursive Funktion
- Beweis
- Beweistheorie
- Gödelscher Unvollständigkeitssatz
- Mehrwertige Logik
- Algorithmentheorie
- Antwort
- Automatisches Beweisverfahren
- Bewertung
- Datenverarbeitung
- Deduktionssystem
- Dialog
- Formale Begriffsanalyse
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Sprache
Art des Inhalts