Sortiert nach
Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich.
mehr Informationen...
vom Autor erw. Fassung, 1975
Signatur: TCL2460
WOLTERS-NOORDHOFF SER. OF MONOGRAPHS AND TEXTBOOKS ON PURE AND APPLIED MATHEMATICS
1970
Signatur: TCL1121
Einführung in die mathematische Logik (Alle Bände), ... : 18 (Alle Bände)
6., völlig neubearb. Aufl, 1982
Signatur: TCL2088(6)-1
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