Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories
Andrzej Biela.
Katowice : Wydawn. Uniwersytetu Slaskiego, 2000.
121 págs. ; 25 cm.
Serie: Prace naukowe Uniwersytetu Slaskiego w Katowicach, ISSN 0208-6336 ; nr. 1901
ISBN: 8322610238
Includes bibliographical references (p. 113-[118]).
Reseña: MathSciNet, 2002f:03013