1. Natural Deduction of Gentzen-Type2. The Inversion Principle3. Normal Deductions in Classical Logic4. Normal Deductions in Intuitionistic Logic5. Second Order Logic6. Modal Logic7...
Подробно
Данните и цените за продуктите предлагани от нашите партньори служат за напътствие и обща информация. Моля, преди покупка проверете дали съответстват на публикуваните данни от сайта на магазина или производителя. За евентуалните неточности и грешки не носим отговорност.