O logice drugiego rzędu / George S. Boolos ; przełożył Cezary Cieśliński. - Boolos, George (1940-1996)