Sortiert nach
Studies in logic and the foundations of mathematics : ...
Signatur: TCL3686-...
Cambridge tracts in theoretical computer science : 53 (Alle Bände)
1. paperback ed., reprint with corr, 2004
Signatur: TCL4763
Libelli : 87 (Alle Bände)
Sonderausg., unveränd. reprograf. Neudr. der Ausg. Leipzig 1877, 1966
Signatur: M7224
Nouveau tirage [d. Ausg.] 1936, 1974
Signatur: TCL1977
Aktive Filter
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
- Barwise, Jon
- Gabbay, Dov M
- Hermes, Hans
- Fenstad, Jens Erik
- Shelah, Saharon
- Smullyan, Raymond M
- Barendregt, Hendrik P
- Bostock, David
- Cresswell, Maxwell J
- Devlin, Keith J
- Etchemendy, John
- Henkin, Leon
- Hodkinson, Ian
- Hughes, George Edward
- Malʹcev, Anatolij I
- Marker, David
- Rescher, Nicholas
- Reynolds, Mark
- Schwabhäuser, Wolfram
- Tarski, Alfred
Erscheinungsform
Schlagwort
- Mathematische Logik
- Modelltheorie
- Logik
- Rekursionstheorie
- Beweistheorie
- Modallogik
- Berechenbarkeit
- Algebra
- Gödelscher Unvollständigkeitssatz
- Rekursive Funktion
- Prädikatenlogik
- Lambda-Kalkül
- Mehrwertige Logik
- Rekursivität
- Algorithmus
- Analysis
- Entscheidbarkeit
- Intuitionistische Mathematik
- Konstruktive Mathematik
- Berechenbare Funktion
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Sprache
Systemstelle
Art des Inhalts