Article PDF
Use our pre-submission checklist
Avoid common mistakes on your manuscript.
Rights and permissions
About this article
Cite this article
Орловска, Э. Алгорифм доказательста теорем в одном классе формул исчисления предикатов. Stud Logica 25, 29 (1969). https://doi.org/10.1007/BF02297267
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF02297267