Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Cellucci, Carlo
1980.
Italian Studies in the Philosophy of Science.
Vol. 47,
Issue. ,
p.
13.
Prawitz, Dag
1981.
Tome 1 Philosophie du langage, Logique philosophique / Volume 1 Philosophy of language, Philosophical logic.
p.
235.
Cellucci, Carlo
1993.
Bridging the Gap: Philosophy, Mathematics, and Physics.
Vol. 140,
Issue. ,
p.
3.
Borga, Marco
1997.
Philosophy of Mathematics Today.
p.
39.
Došen, Kosta
2003.
Identity of Proofs Based on Normalization and Generality.
Bulletin of Symbolic Logic,
Vol. 9,
Issue. 4,
p.
477.
Bellin, Gianluigi
and
Pozza, Carlo Dalla
2017.
Reflections on the Foundations of Mathematics.
p.
139.
Aschieri, Federico
Ciabattoni, Agata
and
Genco, Francesco Antonio
2018.
Classical Proofs as Parallel Programs.
Electronic Proceedings in Theoretical Computer Science,
Vol. 277,
Issue. ,
p.
43.
Schroeder-Heister, Peter
2022.
Axiomatic Thinking I.
p.
145.