Обговорення:Правило висновування

Матеріал з Вікіпедії — вільної енциклопедії.
Найсвіжіший коментар: Olexa Riznyk у темі «Джерела» 9 років тому
Перейти до навігації Перейти до пошуку

Джерела

[ред. код]

Можливо, це могло би бути джерелами, треба отримати доступ до них, і перевірити:

  • Слупецкий Е., Борковський Л., Елементи математичної логіки і теорія безлічі, пер.(переведення) з польськ.(польський), М., 1965
  • Серебрянников О. Ф., Евристичні принципи і логічні числення, М-код,, 1970
  • Смирнов Ст А., формальний вивід і логічні числення, М., 1972

--Olexa Riznyk (обговорення) 19:28, 21 грудня 2014 (UTC)Відповісти