An extension of the Kreisel-Putnam system
From MaRDI portal
Publication:4777261
DOI10.1007/BF02015378zbMath0289.02014OpenAlexW2067555452MaRDI QIDQ4777261
No author found.
Publication date: 1974
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137895
Cites Work