An extension of the Kreisel-Putnam system

DOI10.1007/BF02015378zbMATH Open0289.02014OpenAlexW2067555452MaRDI QIDQ4777261FDOQ4777261

Authors:

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

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cites Work

• Title not available (Why is that?)
• Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül

This page was built for publication: An extension of the Kreisel-Putnam system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4777261)