Extensional constructs in intensional type theory

Ижил төстэй зүйлс

• Constructive theory of functions proceedings of the International conference on constructive theory of functions, Varna, May 24-May 31, 1987.
  Хэвлэсэн: (1988)
• Socialist internationalism theory and practice of international relations of a New Type
  Хэвлэсэн: (1979)
• Socialist internationalism theory and practice of international relations of a New Type
  Хэвлэсэн: (1979)
• Typing 1 general course
  -н: Lloyd A. C. and others
  Хэвлэсэн: (1977)
• Community and Its Types
  Хэвлэсэн: (1982)