Andrzej Grzegorczyk

Publication Activity (10 Years)

Years Active: 1958-2005
Publications (10 Years): 0

Publications

Andrzej Grzegorczyk
Undecidability without Arithmetization. Stud Logica 79 (2) (2005)
Andrzej Grzegorczyk
Decidability without mathematics. Ann. Pure Appl. Log. 126 (1-3) (2004)
Andrzej Grzegorczyk, Andrzej Mostowski, Czeslaw Ryll-Nardzewski
The Classical and the omega-Complete Arithmetic. J. Symb. Log. 23 (2) (1958)