Eine Bemerkung über den Kalkül des natürlichen Schließens

DOI10.1007/BF02025802zbMath0112.00505OpenAlexW2329134018MaRDI QIDQ3848963

Arnold Oberschelp

Publication date: 1962

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

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

zbMATH Keywords

mathematical logic

Cites Work

• Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Regeln
• On the definition of ‘formal deduction’
• On natural deduction

This page was built for publication: Eine Bemerkung über den Kalkül des natürlichen Schließens