Search results
- 1.0573634 - FLÚ 2024 RIV GB eng R - Book Review
Klev, Ansten - Zwanziger, Colin
Modal Homotopy Type Theory. The Prospect of a New Logic for Philosophy, by D. Corfield [Review].
[CORFIELD, D.: Modal homotopy type theory: the prospect of a new logic for philosophy. First edition. Oxford: Oxford University Press, 2020. x, 180 stran. ISBN 978-0-19-885340-4.]. History and Philosophy of Logic. Taylor & Francis. Roč. 44, č. 3 (2023), s. 337-342. ISSN 0144-5340. E-ISSN 1464-5149
Grant - others:AV ČR(CZ) LQ300092101
Program: Prémie Lumina quaeruntur
Institutional support: RVO:67985955
Keywords : homotopy type theory * modal logic * philosophy of mathematics
OECD category: Philosophy, History and Philosophy of science and technology
Method of publishing: Limited access
https://doi.org/10.1080/01445340.2022.2107383
Permanent Link: https://hdl.handle.net/11104/0344176 - 2.0535481 - FLÚ 2021 GB eng R - Book Review
Klev, Ansten
[Review].
[(a) WILLE, Matthias. “alles in den Wind geschrieben”. Paderborn, 2020, 344 s. (b) WILLE, Matthias. Largely unknown. Paderborn, 2016, 243 s.]. Philosophia Mathematica. Oxford University Press. Roč. 28, č. 3 (2020), s. 426-430. ISSN 0031-8019. E-ISSN 1744-6406
Institutional support: RVO:67985955
Keywords : Frege * history of logic
OECD category: Philosophy, History and Philosophy of science and technology
Method of publishing: Limited access
https://doi.org/10.1093/philmat/nkaa022
Permanent Link: http://hdl.handle.net/11104/0313492