Purely Implicational Logic

  • Evert W. Beth
Part of the Synthese Library book series (SYLI, volume 4)


Logic can be characterised as a theory of inference. In the present book we shall be concerned in particular with deductive inference, which plays such an important rôle in mathematics.


Formal Method Reduction Schema Modus Ponens Conclusion Versus Closure Schema 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© D. Reidel Publishing Company, Dordrecht, Holland 1962

Authors and Affiliations

  • Evert W. Beth

There are no affiliations available

Personalised recommendations