Mathematics , Logic
Mathematics , LogicО дизъюнктивном свойстве в классе паранепротиворечивых расширений минимальной логики
Free Download
- Mathematics , Logic
Описание базиса в полуредуцированной форме для правил вывода интуционистской логики
Free Download 
Mathematics , LogicОснования математики, в 2-х томах. Том 1. Логические исчисления и формализация арифметики
Free Download
- Mathematics , Logic
Правила вывода с метапеременными и логические уравнения в предтабличной модальной логике PM1
Free Download 
