Электронный каталог: Grzegorczyk Andrzej - Zarys logiki matematycznej