- Cited by 5
-
Cited byCrossref Citations
This Book has been cited by the following publications. This list is generated based on data provided by Crossref.
Floyd, Juliet and Kanamori, Akihiro 2016. Kurt Gödel Philosopher-Scientist. p. 243.
Floyd, Juliet and Mühlhölzer, Felix 2020. Wittgenstein’s Annotations to Hardy’s Course of Pure Mathematics. Vol. 7, Issue. , p. 39.
Rittberg, Colin Jakob 2020. Handbook of the History and Philosophy of Mathematical Practice. p. 1.
Devadze, Grigory Flessing, Lars and Streif, Stefan 2023. Formal Verification of a Controller Implementation in Fixed-Point Arithmetic. p. 1.
Rittberg, Colin Jakob 2024. Handbook of the History and Philosophy of Mathematical Practice. p. 109.
- Publisher:
- Cambridge University Press
- Online publication date:
- October 2011
- Print publication year:
- 2011
- Online ISBN:
- 9780511910616
- Subjects:
- Mathematics, Logic, Categories and Sets, Logic, Philosophy, Programming Languages and Applied Logic
- Series:
- Lecture Notes in Logic (36)