Электронный каталог: Grzegorczyk, Andrzej - An outline of mathematical logic