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...
Aktive Filter
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Barwise, Jon
- Hermes, Hans
- Shelah, Saharon
- Smullyan, Raymond M
- Barendregt, Hendrik P
- Cresswell, Maxwell J
- Devlin, Keith J
- Etchemendy, John
- Flum, Jörg
- Henkin, Leon
- Hughes, George Edward
- Malʹcev, Anatolij I
- Marker, David
- Pillay, Anand
- Rescher, Nicholas
- Schütte, Kurt
- Tarski, Alfred
- Zinovʹev, Aleksandr Aleksandrovič
- Asser, Günter
- Bell, John L
Erscheinungsform
Schlagwort
- Mathematische Logik
- Modelltheorie
- Logik
- Beweistheorie
- Rekursionstheorie
- Modallogik
- Mathematik
- Berechenbarkeit
- Automatisches Beweisverfahren
- Gödelscher Unvollständigkeitssatz
- Mengenlehre
- Algebra
- Prädikatenlogik
- Rekursive Funktion
- Beweis
- Intuitionistische Mathematik
- Konstruktive Mathematik
- Lambda-Kalkül
- Mehrwertige Logik
- Rekursivität
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Sprache