References
Sette, A.M.: On the propositional calculusp′. «Notas e comuns mat.» (1971) v. 35, 14pp.
Fitting, M.G.: Intuitionistic Logic, Model Theory and Forcing. North-Holland Publishing Company, Amsterdam-London, 1969.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Georgieva, N. On the decidability ofp′, p″ andP″ . Arch math Logik 17, 51–53 (1975). https://doi.org/10.1007/BF02280814
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02280814