кстати ежели вдруг кому http://libgen.io/search.php?req=friedman+little+prover