Alexander Maringele

Nyāya for iPad

Nyāya - A learning tool for propositional calculus.Nyāya is an interactive environment to learn simple facts about the formalism of propositional logi...