Теория дедуктивных систем и ее применения

समान संसाधन

• Исследования по теории алгорифмов и математической логике: сборник
  प्रकाशित: (Москва, Наука, 1979)
• Введение в математическую логику: монография; пер. с англ.; Т. 1
  द्वारा: Чёрч А.
  प्रकाशित: (Москва, Изд-во иностранной литературы, 1960)
• Система принципов построения дедуктивных теорий
  द्वारा: Кедровский О. И. Олег Иванович
  प्रकाशित: (Киев, Выща школа, 1990)
• Ламбда-исчисление. Его синтаксис и семантика: пер. с англ.
  द्वारा: Барендрегт Х. П. Хендрик Питер
  प्रकाशित: (Москва, Мир, 1985)
• Популярная логика: общедоступный очерк логики предложений; пер. с пол.
  द्वारा: Гжегорчик А. Анджей
  प्रकाशित: (Москва, Наука, 1972)