Dowek, G. Proofs and algorithms [Electronic resource] : an introduction to logic and computability / G. Dowek. - Electronic text data. - London : Springer, 2011. - (Undergraduate topics in computer science, ISSN 1863-7310). - ISBN 978-0-85729-121-9 : Б. ц.