G.W. Leibniz: from proving of logical rules and schemes to symbolic calculation of logic / Shenherii, L. M., Boiko, H. M. (2017)
Ukrainian

web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0000827559
  Philosophical Horizons  В - 2014  /     Issue (2017, Вип. 38)

Шенгерій Л. М., Бойко Г. М.
Г. В. Ляйбніц: від доведення логічних правил і схем до символічного числення логіки

Бібліографічний опис:
Шенгерій Л. М., Бойко Г. М. Г. В. Ляйбніц: від доведення логічних правил і схем до символічного числення логіки. Філософські обрії. 2017. Вип. 38. С. 127-136. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000827559

English  Philosophical Horizons   /     Issue (2017, 38)

Shenherii L. M., Boiko H. M.
G.W. Leibniz: from proving of logical rules and schemes to symbolic calculation of logic

Cite:
Shenherii, L. M., Boiko, H. M. (2017). G.W. Leibniz: from proving of logical rules and schemes to symbolic calculation of logic. Philosophical Horizons, 38, 127-136. http://jnas.nbuv.gov.ua/article/UJRN-0000827559 [In Ukrainian].

 

Institute of Information Technologies of VNLU

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Ukraine, 03039, Kyiv, Holosiivskyi Ave, 3, room 209