Исчисления высказываний классической логики. Гуров С.И. - 1 стр.

Ìîñêîâñêèé Ãîñóäàðñòâåííûé óíèâåðñèòåò
         èì. Ì.Â. Ëîìîíîñîâà
   Ôàêóëüòåò Âû÷èñëèòåëüíîé ìàòåìàòèêè è
               êèáåðíåòèêè
Ñåðèÿ ¾Ìàòåìàòè÷åñêèå îñíîâû ïðîåêòèðîâàíèÿ
                   ÑÁÈÑ¿



                Ñ.È. Ãóðîâ

ÈÑ×ÈÑËÅÍÈß ÂÛÑÊÀÇÛÂÀÍÈÉ
  ÊËÀÑÑÈ×ÅÑÊÎÉ ËÎÃÈÊÈ


        Ó÷åáíî-ìåòîäè÷åñêîå ïîñîáèå




                  Ìîñêâà
                   2008