Search results
- 1.0542962 - FLÚ 2022 RIV FR eng J - Journal Article
Bertran-San Millán, Joan
Frege, Peano and the Interplay between Logic and Mathematics.
Philosophia Scientiae. Roč. 25, č. 1 (2021), s. 15-34. ISSN 1281-2463
Grant - others:AV ČR(CZ) AP1602
Program: Akademická prémie - Praemium Academiae
Institutional support: RVO:67985955
Keywords : Frege * Peano * Symbolisation * Formalisation * Concept-script
OECD category: Philosophy, History and Philosophy of science and technology
Method of publishing: Open access
https://doi.org/10.4000/philosophiascientiae.2831
Permanent Link: http://hdl.handle.net/11104/0320279 - 2.0484503 - FLÚ 2018 CZ cze T - Translation
Frei, Jan
Ľubica Učník. Duchovní základy nadcivilizace [Překlad].
[Ľubica Učník. The Spiritual Foundations of Supercivilisation [Translation].]
Filosofický časopis. Filosofický ústav AV ČR, v. v. i. Roč. 65, č. 6 (2017), s. 925-939. ISSN 0015-1831
Institutional support: RVO:67985955
Keywords : Jan Patočka * G. Barraclough * T. G. Masaryk * R. Descartes * spirit of our times * formalisation * subjectivity * Supercivilisation * neoliberalism
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0279717 - 3.0444076 - FLÚ 2016 RIV DE eng M - Monography Chapter
Učník, L. - Williams, A. - Chvatík, Ivan
The Phenomenological Critique of Formalism. Responsibility and the Life-World.
The Phenomenological Critique of Mathematisation and the Question of Responsibility. Formalisation and the Life-World. Cham: Springer, 2015 - (Učník, L.; Chvatík, I.; Williams, A.), s. 1-14. Contributions To Phenomenology, 76. ISBN 978-3-319-09827-2
Institutional support: RVO:67985955
Keywords : formalisation * mathematisation * life-world * responsibility
Subject RIV: AA - Philosophy ; Religion
Permanent Link: http://hdl.handle.net/11104/0246666 - 4.0351633 - ÚI 2011 RIV CZ eng J - Journal Article
Zvolský, Miroslav
The Database of the Catalogue of Clinical Practice Guidelines Published via Internet in the Czech Language -The Current State.
European Journal for Biomedical Informatics. Roč. 6, č. 1 (2010), s. 83-89. ISSN 1801-5603
R&D Projects: GA MŠMT(CZ) 1M06014
Institutional research plan: CEZ:AV0Z10300504
Keywords : internet * World Wide Web * database * clinical practice guideline * clinical practice * evidence-based medicine * formalisation * GLIF (Guideline Inerchange Format) * doctor of medicine, * decision support systems
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0191343