 | 2007 |
|---|
| 12 |       | Newton C. A. da Costa,
Francisco A. Doria,
E. Bir:
On the metamathematics of the P vs. NP question.
Applied Mathematics and Computation 189(2): 1223-1240 (2007) |
| 11 | | Francisco A. Doria:
Fast-Growing Functions and the P vs. NP Question.
Logic Journal of the IGPL 15(5-6): 445-455 (2007) |
| 10 | | Francisco A. Doria:
Informal versus formal mathematics.
Synthese 154(3): 401-415 (2007) |
| 2006 |
|---|
| 9 | | Newton C. A. da Costa,
Francisco A. Doria:
Addendum to "Consequences of an exotic formulation for P.
Applied Mathematics and Computation 172(2): 1364-1367 (2006) |
| 8 | | Francisco A. Doria,
José Félix Costa:
Introduction to the special issue on hypercomputation.
Applied Mathematics and Computation 178(1): 1-3 (2006) |
| 7 | | Newton C. A. da Costa,
Francisco A. Doria:
Some thoughts on hypercomputation.
Applied Mathematics and Computation 178(1): 83-92 (2006) |
| 1998 |
|---|
| 6 | | Newton C. A. da Costa,
Francisco A. Doria:
On the existence of certain total recursive functions in nontrivial axiom systems, I
CoRR cmp-lg/9804005: (1998) |
| 1996 |
|---|
| 5 |  | Newton C. A. da Costa,
Francisco A. Doria:
H-Computation (Abstract).
SBIA 1996: 238 |
| 1995 |
|---|
| 4 | | Newton C. A. da Costa,
Francisco A. Doria:
On Jaskowski's discussive logic.
Studia Logica 54(1): 33-60 (1995) |
| 3 | | Newton C. A. da Costa,
Francisco A. Doria:
Undecidability, incompleteness and the Arnol'd problems.
Studia Logica 55(1): 23-32 (1995) |
| 1993 |
|---|
| 2 | | Newton C. A. da Costa,
Francisco A. Doria:
On Arnold's Hilbert Symposium Problems.
Kurt Gödel Colloquium 1993: 152-158 |
| 1991 |
|---|
| 1 | | Newton C. A. da Costa,
Francisco A. Doria,
N. Papavero:
Meinong's Theory of Objects and Hilbert's epsilon-Symbol.
Reports on Mathematical Logic 25: (1991) |
