 |
| | Suchergebnis | | | | | | | | | © | |
|
| | | |||||||||||||
|
 |
Suchgeschichte |  |
| |
|
Kurzliste | |
| |
|
Detailanzeige | |
|
|
|
|
|
|
|
|
||||||||||
|
|
|||||
______________ | ||||||
|
|
|
|||
|
1 - 10 von 976  |
| ||
 |
Ihre Aktion | Suchen (DDC synthetisch (XSDC)) 511.3 |
||
| |
| |
| |
|
|
|
|
 |
1. |
Analysis of categorical data from historical perspectives : essays in honour of Shizuhiko Nishisato Beh, Eric J.. - Singapore : Springer, 2023 
|
|
| |||
|
2. |
Kurt Gödel : results on foundations Hämeen-Anttila, Maria. - Cham : Springer, [2023] |
|
| |||
|
3. |
Handbook of constructive mathematics Bridges, D. S.. - Cambridge : Cambridge University Press, 2023
|
|
| |||
|
4. |
Logical methods Restall, Greg *1969-*. - Cambridge, Massachusetts : The MIT Press, [2023]
|
|
| |||
|
5. |
Abhandlung über die Prinzipien der Logik : eine Verteidigung des logischen Monismus Wolff, Michael *1942-*. - 3., überarbeitete Auflage. - Frankfurt am Main : Klostermann, 2023
|
|
| |||
 |
6. |
Abhandlung über die Prinzipien der Logik : eine Verteidigung des logischen Monismus Wolff, Michael *1942-*. - 3., überarbeitete Auflage. - Frankfurt am Main : Vittorio Klostermann, 2023 |
|
| |||
|
7. |
Classical first-order logic Shapiro, Stewart *1951-*. - Cambridge : Cambridge University Press, 2022
|
|
| |||
|
8. |
Gödel's incompleteness theorems Kennedy, Juliette *1955-*. - Cambridge : Cambridge University Press, 2022
|
|
| |||
|
9. |
Higher-order logic and type theory Bell, John L. *1945-*. - Cambridge : Cambridge University Press, 2022
|
|
| |||
|
10. |
Paradoxes and inconsistent mathematics Weber, Zach *ca. 20./21. Jh.*. - Cambridge : Cambridge University Press, 2021
|
|
| |||
| ||||||||||||||||||||||||||
| ||||||||||||||||||||||||||
| ||||||||||||||||||||||||||
|
1 - 10 von 976 |
|
|
|
1 - 10 von 976 |
|
||||||||||||||||||||