Eine Semantische Charakterisierung der Durch die Implikation Allein Darstellbaren Wahrheitsfunktionen

  • R. Villars
Article
  • 16 Downloads

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. [1]
    W. Craig, Three uses of the Herbrand-Gentzen theorem in relating Model theory and Proof theory.Journal of Symbolic Logic, Vol. 22 (1957), pp. 269–285.Google Scholar
  2. [2]
    D. Hilbert und W. Ackermann, Grundzüge der theoretischen Logik.Springer, Berlin, 4. Aufl. 1959.Google Scholar

Copyright information

© W. Kohlhammer Verlag 1968

Authors and Affiliations

  • R. Villars
    • 1
  1. 1.BielSchweiz

Personalised recommendations