Grzegorczyk, Andrzej. Zarys logiki matematycznej / Andrzej Grzegorczyk. - Warszawa : Panstw. Wydaw. Nauk., 1984. - 510 s. : il. ; 24 cm. - (Biblioteka Matematyczna) T. 20 . bibliogr. Uniwersalna Klasyfikacja Dziesiętna: 510.6