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...Lecture notes in control and information sciences : 276 (Alle Bände), Engineering online library
2002
Signatur: TCL4690
The International series of monographs on computer science : 10 (Alle Bände), Oxford science publications
1993
Signatur: TVC1499
2., vollst. überarb. und erw. Aufl, 1994
Signatur: TCL3953(2)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Barwise, Jon
- Asser, Günter
- Gabbay, Dov M
- Hermes, Hans
- Troelstra, Anne S
- Belnap, Nuel D
- Dalen, Dirk <<van>>
- Fenstad, Jens Erik
- Shelah, Saharon
- Smullyan, Raymond M
- Anderson, Alan Ross
- Barendregt, Hendrik P
- Bostock, David
- Cresswell, Maxwell J
- Devlin, Keith J
- Dunn, John M
- Etchemendy, John
- Fitting, Melvin
- Flum, Jörg
- Henkin, Leon
Erscheinungsform
Schlagwort
- Mathematische Logik
- Modelltheorie
- Logik
- Beweistheorie
- Rekursionstheorie
- Mathematik
- Modallogik
- Berechenbarkeit
- Automatisches Beweisverfahren
- Mengenlehre
- Gödelscher Unvollständigkeitssatz
- Algebra
- Konstruktive Mathematik
- Rekursive Funktion
- Mehrwertige Logik
- Prädikatenlogik
- Algorithmus
- Analysis
- Beweis
- Intuitionistische Mathematik
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Sprache
Systemstelle
Art des Inhalts