Return to Article Details Два метода построения логических исчислений: логики заключений и логики формул. Download Download PDF