Eine Bemerkung über den Kalkül des natürlichen Schließens Arnold Oberschelp OriginalPaper Pages: 3 - 6
1 — Consistency and faithful interpretations S. FefermanG. KreiselS. Orey OriginalPaper Pages: 52 - 63