Andrzej Grzegorczyk

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2005

3 Andrzej Grzegorczyk: Undecidability without Arithmetization. Studia Logica 79(2): 163-230 (2005)

2004

2 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)

	2005
3		Andrzej Grzegorczyk: Undecidability without Arithmetization. Studia Logica 79(2): 163-230 (2005)
	2004
2		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)

Coauthor Index