A calculus of predications and propositions /
Trotter, John,1924-
Aranda, ACT : Just Talk,
c1996.
Logic.