Between $Int_{\omega , \Omega}$ and Intuitionistic Propositional Logic
Logical Investigations
doi 10.21146/2074-1472-2013-19-0-197-199
Full Text
Open PDFAbstract
Available in full text
Date
April 9, 2013
Authors
Publisher
Institute of Philosophy, Russian Academy of Sciences