Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
From MaRDI portal
Publication:1353259
DOI10.1007/BF01448897zbMath0005.33803MaRDI QIDQ1353259
Publication date: 1932
Published in: Mathematische Annalen (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/159597
03-XX: Mathematical logic and foundations
Related Items
Consequence mining. Constants versus consequence relations, From axiomatic logic to natural deduction, A survey of nonstandard sequent calculi, Steps towards a proof-theoretical semantics, Semantic values for natural deduction derivations, Cut as Consequence, Autoreferential semantics for many-valued modal logics