The Work

Single axioms for the systems (*C*,*N*), (*C*,0), and (*A*,*N*) of the two-valued propositional calculus

The details

The Author

The offers