@book{Reichenbach47, author = {Reichenbach, Hans}, year = {1947}, title = {Elements of Symbolic Logic}, publisher = {Macmillan}, address = {London and New York} }