Formulas of One Propositional Variable in Intuitionistic Logic With the Solovay Modality
Logic and Logical Philosophy - Poland
doi 10.12775/llp.2008.007
Full Text
Open PDFAbstract
Available in full text
Categories
Date
June 19, 2008
Authors
Publisher
Uniwersytet Mikolaja Kopernika/Nicolaus Copernicus University