Pogonowski, J. Projekt Logiki Infinitarnej Ernsta Zermela. 10.14746/il 2007, 14, 18-49.