CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.
Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .
Publikacje
Autorzy:
Jan von Plato
Opublikowane w:
Vienna Circle institute Library, 2024, ISBN 978-3-031-51970-3
Wydawca:
Springer
Autorzy:
Maria Hämeen-Anttila, Jan von Plato
Opublikowane w:
Sources and Studies in the History of Mathematics and Physical Sciences, 2023
Wydawca:
Springer
Autorzy:
Jan von Plato
Opublikowane w:
Vienna Circle Institute Library, 2022, ISBN 978-3-030-97133-5
Wydawca:
Springer
Autorzy:
Jan von Plato
Opublikowane w:
Sources and Studies in the History of Mathematics and Physical Sciences, 2020, ISBN 978-3-030-50876-0
Wydawca:
Springer
DOI:
10.1007/978-3-030-50876-0
Autorzy:
Maria Hämeen-Anttila, Jan von Plato
Opublikowane w:
Sources and Studies in the History of Mathematics and Physical Sciences, 2021, ISBN 978-3-030-87295-3
Wydawca:
Springer
Autorzy:
Jan von Plato
Opublikowane w:
Philosophia Scientae, Numer 25-1, 2021, Strona(/y) 185-192, ISSN 1281-2463
Wydawca:
Numdam (Numerisation de Documents Anciens Mathematiques)
DOI:
10.4000/philosophiascientiae.2821
Autorzy:
ANNIKA KANCKOS, TIM LETHEN
Opublikowane w:
The Review of Symbolic Logic, 2019, Strona(/y) 1-19, ISSN 1755-0203
Wydawca:
Cambridge University Press
DOI:
10.1017/s1755020319000479
Autorzy:
MARIA HÄMEEN-ANTTILA
Opublikowane w:
The Bulletin of Symbolic Logic, Numer 25/1, 2019, Strona(/y) 101-124, ISSN 1079-8986
Wydawca:
Association for Symbolic Logic
DOI:
10.1017/bsl.2018.91
Autorzy:
Jan von Plato
Opublikowane w:
The Mathematical Intelligencer, Numer 43/1, 2021, Strona(/y) 42-44, ISSN 0343-6993
Wydawca:
Springer Verlag
DOI:
10.1007/s00283-020-10030-0
Autorzy:
Maria Hämeen-Anttila, Jan von Plato
Opublikowane w:
Kurt Gödel: Results on Foundations, 2023, Strona(/y) 1-30
Wydawca:
Springer
Autorzy:
Maria Hämeen-Anttila
Opublikowane w:
The Princeton Lectures on Intuitionism, 2021, Strona(/y) 1-28, ISBN 978-3-030-87295-3
Wydawca:
Springer
Autorzy:
Annika Kanckos, Tim Lethen
Opublikowane w:
The Vienna Circle and Religion, 2022, Strona(/y) 183-196, ISBN 978-3-030-76150-9
Wydawca:
Springer
Autorzy:
Jan von Plato
Opublikowane w:
Advances in Modal Logic 2024 : Short Papers, 2024, Strona(/y) 45-50
Wydawca:
Advances in Modal Logic 2024
Autorzy:
Annika Kanckos
Opublikowane w:
CEUR Workshop Proceedings : Proceedings of Automated Reasoning in Quantified Non-Classical Logics 2022, 2022, Strona(/y) 46-63
Wydawca:
CEUR Workshop Proceedings
Autorzy:
Annika Kanckos
Opublikowane w:
Metascience, Numer vol. 31, 2022, Strona(/y) 239-242
Wydawca:
Springer
Autorzy:
Maria Hämeen-Anttila
Opublikowane w:
2020, ISBN 978-951-51-5923-6
Wydawca:
Helsingin yliopisto
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników