СодержаниеАксиомы исчисления высказываний 2 Определение независимости аксиом 2 Доказательство независимости аксиом 3 Многозначные логики 5 Литература 6 Цена: 3 долл.