Koti > Sovellukset > Koulutus
Natural Deduction using Strict Implication

Natural Deduction using Strict Implication

Julkaisija: Jukka Häkkinen
ajokortti: Ilmainen

Näyttökuvat:

Vähintään
Käyttöjärjestelmä
Arkkitehtuurix86,x64,ARM,ARM64
Suositus
Käyttöjärjestelmä
Arkkitehtuurix86,x64,ARM,ARM64

Kuvaus

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


Muita käyttäjien suosikkeja

Arvostelut

tavarat

noin Natural Deduction using Strict Implication
Advertisement
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.