A Formalisation of the Propositional Cal
A Formalisation of the Propositional Calculus Corresponding to Wang's Calculus of Partial Predicates
β
Alan Rose
π
Article
π
1963
π
John Wiley and Sons
π
English
β 646 KB