CORDIS provides links to public deliverables and publications of HORIZON projects.
Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .
Publications
Author(s):
Jan von Plato
Published in:
Vienna Circle institute Library, 2024, ISBN 978-3-031-51970-3
Publisher:
Springer
Author(s):
Maria Hämeen-Anttila, Jan von Plato
Published in:
Sources and Studies in the History of Mathematics and Physical Sciences, 2023
Publisher:
Springer
Author(s):
Jan von Plato
Published in:
Vienna Circle Institute Library, 2022, ISBN 978-3-030-97133-5
Publisher:
Springer
Author(s):
Jan von Plato
Published in:
Sources and Studies in the History of Mathematics and Physical Sciences, 2020, ISBN 978-3-030-50876-0
Publisher:
Springer
DOI:
10.1007/978-3-030-50876-0
Author(s):
Maria Hämeen-Anttila, Jan von Plato
Published in:
Sources and Studies in the History of Mathematics and Physical Sciences, 2021, ISBN 978-3-030-87295-3
Publisher:
Springer
Author(s):
Jan von Plato
Published in:
Philosophia Scientae, Issue 25-1, 2021, Page(s) 185-192, ISSN 1281-2463
Publisher:
Numdam (Numerisation de Documents Anciens Mathematiques)
DOI:
10.4000/philosophiascientiae.2821
Author(s):
ANNIKA KANCKOS, TIM LETHEN
Published in:
The Review of Symbolic Logic, 2019, Page(s) 1-19, ISSN 1755-0203
Publisher:
Cambridge University Press
DOI:
10.1017/s1755020319000479
Author(s):
MARIA HÄMEEN-ANTTILA
Published in:
The Bulletin of Symbolic Logic, Issue 25/1, 2019, Page(s) 101-124, ISSN 1079-8986
Publisher:
Association for Symbolic Logic
DOI:
10.1017/bsl.2018.91
Author(s):
Jan von Plato
Published in:
The Mathematical Intelligencer, Issue 43/1, 2021, Page(s) 42-44, ISSN 0343-6993
Publisher:
Springer Verlag
DOI:
10.1007/s00283-020-10030-0
Author(s):
Maria Hämeen-Anttila, Jan von Plato
Published in:
Kurt Gödel: Results on Foundations, 2023, Page(s) 1-30
Publisher:
Springer
Author(s):
Maria Hämeen-Anttila
Published in:
The Princeton Lectures on Intuitionism, 2021, Page(s) 1-28, ISBN 978-3-030-87295-3
Publisher:
Springer
Author(s):
Annika Kanckos, Tim Lethen
Published in:
The Vienna Circle and Religion, 2022, Page(s) 183-196, ISBN 978-3-030-76150-9
Publisher:
Springer
Author(s):
Jan von Plato
Published in:
Advances in Modal Logic 2024 : Short Papers, 2024, Page(s) 45-50
Publisher:
Advances in Modal Logic 2024
Author(s):
Annika Kanckos
Published in:
CEUR Workshop Proceedings : Proceedings of Automated Reasoning in Quantified Non-Classical Logics 2022, 2022, Page(s) 46-63
Publisher:
CEUR Workshop Proceedings
Author(s):
Annika Kanckos
Published in:
Metascience, Issue vol. 31, 2022, Page(s) 239-242
Publisher:
Springer
Author(s):
Maria Hämeen-Anttila
Published in:
2020, ISBN 978-951-51-5923-6
Publisher:
Helsingin yliopisto
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available