Note on Rules of Inference
From MaRDI portal
Publication:5519119
DOI10.1002/MALQ.19650110302zbMath0143.24901OpenAlexW2011591960MaRDI QIDQ5519119
Publication date: 1965
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/210108
Related Items (2)
The deducibilities of S5 ⋮ DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
This page was built for publication: Note on Rules of Inference
