Pogonowski, J. Metoda Rezolucji I Tablice Analityczne W Symbolic Logic Lewisa Carrolla. 10.14746/il 2008, 16, 195-218.