| |
| 2005 | ||
|---|---|---|
| 3 | EE | Andrzej Grzegorczyk: Undecidability without Arithmetization. Studia Logica 79(2): 163-230 (2005) |
| 2004 | ||
| 2 | EE | Andrzej Grzegorczyk: Decidability without mathematics. Ann. Pure Appl. Logic 126(1-3): 309-312 (2004) |
| 1958 | ||
| 1 | Andrzej Grzegorczyk, Andrzej Mostowski, Czeslaw Ryll-Nardzewski: The Classical and the omega-Complete Arithmetic. J. Symb. Log. 23(2): 188-206 (1958) | |
| 1 | Andrzej Mostowski | [1] |
| 2 | Czeslaw Ryll-Nardzewski | [1] |