Logic Practical course foundations formal logic manual is summary exercises 3rd ed Pererab added Logika Prakticheskiy kurs osnov formalnoy logiki Uchebnoe posobie v kratkom izlozhenii i uprazhneniyakh 3 e izd pererab i dop