@book{156639, author = {Biela, Andrzej. and Uniwersytet Śląski (Katowice).}, title = {Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories /}, publisher = {Wydawnictwo Uniwersytetu Śląskiego,}, year = {2000.}, series = {Prace Naukowe Uniwersytetu Śląskiego w Katowicach}, address = {Katowice :} }