 |
| | Results | | | | | | | | | © | |
|
| | | |||||||||||||
|
 |
search history |  |
| |
|
shortlist | |
| |
|
title data | |
|
|
|
|
|
|
|
|
||||||||||
|
|
|||||
______________ | ||||||
|
|
|
|||
|
1 - 10 of 1221  |
| ||
 |
results | search 31.10 (Mathematische Logik, Mengenlehre) |
||
| |
| |
| |
|
|
|
|
 |
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 of 1221 |
|
|
|
1 - 10 of 1221 |
|
||||||||||||||||||||