@book{ Solr-158216, title = {Modern deductive logic : an introduction to its techniques and significance / by R.J. Ackermann.}, author = {Ackermann, Robert John}, publisher = {Macmillan}, year = {1970}, }