Events Tagged: "propositional logic"

1 events with tag "propositional logic"

1921 ID: 393
Emil Post introduces truth tables for propositional logic, providing decision procedure for propositional calculus
ID: 393