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

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].

 

Інститут інформаційних технологій НБУВ


+38 (044) 525-36-24
Голосіївський просп., 3, к. 209
м. Київ, 03039, Україна