Konsekwencje teoriopoznawcze dwóch twierdzeń metamatematyki. Studia Filozoficzne, nr 3, 115-118, 1965. Grzegorczyk, Andrzej.

Pisma filozoficzne i logiczne. T. 2. Pasenkiewicz, Kazimierz (wybór i wstęp). Warszawa, PWN, 1963. Chwistek, Leon.