أرسل هذا في رسالة قصيرة: Генценовские системы для исчисления высказываний и аксиоматической арифметики: учебное пособие