Košík

0511657 - FLÚ 2020 RIV CH eng M - Část monografie knihy
Klev, Ansten
A comparison of type theory with set theory.
Reflections on the Foundations of Mathematics. Cham: Springer, 2019 - (Centrone, S.; Kant, D.; Sarikaya, D.), s. 271-292. Synthese Library, 407. ISBN 978-3-030-15654-1
Grant CEP: GA ČR(CZ) GJ17-18344Y
Institucionální podpora: RVO:67985955
Klíčová slova: type theory * set theory
Obor OECD: Philosophy, History and Philosophy of science and technology
Trvalý link: http://hdl.handle.net/11104/0301885