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
Suosituimmat
Suositut sovellukset
Parhaiksi arvioidut sovellukset
Parhaiksi arvioidut pelit