Počet záznamů: 1
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth
- 1.HÁJEK, P. Gödel's Ontological Proof and its Variants. In: BAAZ, M., PAPADIMITRIOU, C.H., V, H.W., SCOTT, D.S., HARPER, C.L., eds. Kurt Gödel and the Foundations of Mathematics: Horizons of Truth. Cambridge: Cambridge University Press, 2011, s. 307-321. ISBN 978-0-521-76144-4. Dostupné z: doi: 10.1017/CBO9780511974236.017
Počet záznamů: 1