TY - BOOK AU - Jarmużek Tomasz TI - Formalizacja metod tablicowych dla logik zdań i logik nazw PY - 2013/// CY - Toruń PB - Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika N1 - Dostępny w wersji elektronicznej online UR - https://libra.ibuk.pl/reader/formalizacja-metod-tablicowych-dla-logik-zdan-i-logik-nazw-tomasz-jarmuzek-97885 ER -