The Work Single axioms for the systems (*C*,*N*), (*C*,0), and (*A*,*N*) of the two-valued propositional calculus The details The Author C. A. Meredith The offers