"Metakides G., Neroud A. Principy logiki i logicheskogo programmirovanija(Faktorial, 1998)(ru)(L)(T)(144s)_MAml_.djvu" - читать интересную книгу автора