Electronic Notes in Theoretical Computer Scienceæóðíàë

Ñòàòüè, îïóáëèêîâàííûå â æóðíàëå ñòèëü:  îáû÷íûé | ÃÎÑÒ | plain | abbrv | acm | alpha | amsalpha | amsplain | apalike | ieeetr | siam

---

• 
  • 1999 Uniform provability realization of intuitionistic logic, modality and ?-terms
  • Artemov S.N.
  • â æóðíàëå Electronic Notes in Theoretical Computer Science, èçäàòåëüñòâî Elsevier BV (Netherlands), òîì 23, ? 1, ñ. 3-12 DOI