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