Математическая логика и программирование : Учеб. пособие [для спец. 0647]Карчяускас, Эймутис198256 с.