|
|
|
|
|
|
|
|
1 - 10 von 1222 |
|
|
Ihre Aktion |
suchen [und] (Basisklassifikation (XBKL)) 31.10
|
|
|
|
|
|
1. |
Kurt Gödel : results on foundations Hämeen-Anttila, Maria. - Cham : Springer, [2023]
|
|
|
|
2. |
Temporal logic : from philosophy and proof theory to artifical intelligence and quantum computing Centrone, Stefania *1975-*. - New Yersey : World Scientific Publishing Company, 2023
|
|
|
|
3. |
Global philosophy [Dordrecht] : Springer Nature B.V, [2023]-
|
|
|
|
4. |
Introduction to proofs and proof strategies Fuchs, Shay. - Cambridge, United Kingdom : Cambridge University Press, 2023
|
|
|
|
5. |
Modern mathematical logic Mileti, Joseph. - Cambridge : Cambridge University Press, 2023
|
|
|
|
6. |
Vom Universum des Denkens : eine Geistesgeschichte der Logik Tschirk, Wolfgang *1956-*. - Berlin : Springer, [2022]
|
|
|
|
7. |
A logical foundation for potentialist set theory Berry, Sharon. - Cambridge : Cambridge University Press, 2022
|
|
|
|
8. |
Die Entdeckung der Unendlichkeit : das Jahrhundert, in dem die Mathematik sich neu erfand : 1870-1970 Rooch, Aeneas *1983-*. - Originalausgabe. - München : Heyne, 2022
|
|
|
|
9. |
Logik-Skript 2 : Einführung in die Modallogik Brendel, Elke *1962-*. - Frankfurt : Klostermann, [2021]
|
|
|
|
10. |
Conceptions of set and the foundations of mathematics Incurvati, Luca *ca. 20./21. Jh.*. - Cambridge : Cambridge University Press, 2020
|
|
|
|
|
|
|
1 - 10 von 1222 |
|
Wort |
|
Typ |
|
Anzahl |
|
31.10 |
|
Basisklassifikation (XBKL) |
|
1223 |
|
|
|
|
|
|
|
1 - 10 von 1222 |
|
|