Logika formalna. Systemy logiczne. Wstęp do metalogiki - BORKOWSKI, Ludwik (Warszawa, 1978)