Электронный каталог: Rosser, J. Barkley - Logiс for mathematicians