Schnittelimination in einem Teilsystem der einfachen Typenlogik

DOI10.1007/BF01969702zbMath0198.32102OpenAlexW2325369128MaRDI QIDQ5595150

Wolfgang Bibel

Publication date: 1969

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137828

zbMATH Keywords

general logic

Related Items (2)

An approach to a systematic theorem proving procedure in first-order logic ⋮ Reminiscences of Kurt Schütte

Cites Work

• On the fundamental conjecture of \(GLC\). III
• On the fundamental conjecture of \(GLC\). IV
• On the fundamental conjecture of \(GLC\). V
• Ordinal diagrams
• On the fundamental conjecture of \(GLC\). I, II
• Consistency proofs of subsystems of classical analysis
• Syntactical and semantical properties of simple type theory
• Remarks on Cantor's absolute, II

This page was built for publication: Schnittelimination in einem Teilsystem der einfachen Typenlogik