koju. > Rakendused > Haridus
Natural Deduction using Strict Implication

Natural Deduction using Strict Implication

Avaldaja: Jukka Häkkinen
juhiluba.: Tasuta

Kuvatõmmised:

Minimaalne
OS
Arhitektuurx86,x64,ARM,ARM64
Soovitatav
OS
Arhitektuurx86,x64,ARM,ARM64

Kirjeldus

Natural Deduction for modal logic S5 only using C.I.Lewis' Strict Implication.


Teistele meeldivad

Arvustused

artiklid

umbes Natural Deduction using Strict Implication
We use cookies and other technologies on this website to enhance your user experience.
By clicking any link on this page you are giving your consent to our Privacy Policy and Cookies Policy.