| Publication | Date of Publication | Type |
|---|
Mathematics and experience
Foundations of Science | 2026-03-31 | Paper |
Introducing heuristic philosophy of mathematics
\(M\times\Phi\). Annals of Mathematics and Philosophy | 2026-03-11 | Paper |
Reconnecting logic with discovery
Topoi | 2024-12-11 | Paper |
The theory of Gödel
Synthese Library | 2022-09-05 | Paper |
The making of mathematics. Heuristic philosophy of mathematics
Synthese Library | 2022-01-03 | Paper |
Diagrams in mathematics
Foundations of Science | 2020-01-24 | Paper |
Definition in mathematics
European Journal for Philosophy of Science | 2020-01-24 | Paper |
Rethinking knowledge. The heuristic view
European Studies in Philosophy of Science | 2018-11-29 | Paper |
Mathematical beauty, understanding, and discovery
Foundations of Science | 2017-08-17 | Paper |
Is mathematics problem solving or theorem proving?
Foundations of Science | 2017-08-17 | Paper |
| Explanatory and non-explanatory demonstrations | 2017-07-11 | Paper |
Top-down and bottom-up philosophy of mathematics
Foundations of Science | 2013-08-27 | Paper |
Rethinking logic. Logic in relation to mathematics, evolution, and method
Logic, Argumentation & Reasoning | 2013-04-04 | Paper |
| scientific article; zbMATH DE number 5896145 (Why is no real title available?) | 2011-05-18 | Paper |
Why proof? What is a proof?
Deduction, Computation, Experiment | 2010-01-11 | Paper |
| scientific article; zbMATH DE number 5560301 (Why is no real title available?) | 2009-06-02 | Paper |
| The universal generalization problem | 2009-06-02 | Paper |
| scientific article; zbMATH DE number 2134031 (Why is no real title available?) | 2005-02-15 | Paper |
Analytic cut trees
Logic Journal of the IGPL | 2002-01-06 | Paper |
| The decidability of syllogism | 2001-03-12 | Paper |
| scientific article; zbMATH DE number 1426644 (Why is no real title available?) | 2000-04-04 | Paper |
| scientific article; zbMATH DE number 1082911 (Why is no real title available?) | 1997-11-04 | Paper |
| scientific article; zbMATH DE number 1082913 (Why is no real title available?) | 1997-11-04 | Paper |
Existential instantiation and normalization in sequent natural deduction
Annals of Pure and Applied Logic | 1993-01-16 | Paper |
| scientific article; zbMATH DE number 4094864 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3950521 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3724436 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3777487 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3681754 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3683563 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3572134 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3521948 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3506656 (Why is no real title available?) | 1975-01-01 | Paper |
On the role of reducibility principles
Synthese | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3382322 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3382322 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3277454 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3271446 (Why is no real title available?) | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3240389 (Why is no real title available?) | 1964-01-01 | Paper |
