Extensional constructs in intensional type theory

Extensional constructs in intensional type theory

Номзүйн дэлгэрэнгүй
Үндсэн зохиолч:	Hofmann M.
Байгууллагын зохиогч:	Tevens verschenen als proefschrift LFCS Edinburgh
Формат:	Ном
Хэл сонгох:	Undetermined
Хэвлэсэн:	N.Y Springer 1997

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

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)

Offsite Construction
-н: Jahn B., Dettenmaier P.
Хэвлэсэн: (1997)

Housing Construction
-н: Andreyev A6

Construction materials
Хэвлэсэн: (2014)

De- construction = Раз- градба
-н: Lindro M.
Хэвлэсэн: (2011)

Typing power, spelling power
-н: Elliott N. W. and others
Хэвлэсэн: (1975)

Constructing achievement tests
-н: Gronlund N.E
Хэвлэсэн: (1977)

Bibliography On Soil Construction
Хэвлэсэн: (1989)

Constructions en Roumanie
-н: Cristescu V., Adler L.
Хэвлэсэн: (1969)

Safety and Health in Construction
Хэвлэсэн: (1992)

Matériaux de construction
-н: Vorobiev V.
Хэвлэсэн: (1967)

Genius of Revolution and Construction
-н: 김일송 Kimilsung
Хэвлэсэн: (1980)

Type a behavior and your heart
-н: Meyer Friedman
Хэвлэсэн: (1974)

On the proletarian party of a new type
-н: Lenin V. I.
Хэвлэсэн: (1976)

On the proletarian party of a new type
-н: Lenin V. I.
Хэвлэсэн: (1973)

On the proletarian party of a new type
-н: Lenin V. I.
Хэвлэсэн: (1981)

On the proletarian party of a new type
-н: Lenin V. I.
Хэвлэсэн: (1981)

Constryuctive theory of functions procceedings of the international conference on constructive theory of functions
Хэвлэсэн: (1988)

Test construction development and interpretation of achievement tests
-н: Wood D. A.
Хэвлэсэн: (1961)

For socialist economic construction in our country
-н: KiM Il Sung
Хэвлэсэн: (1958)

Конструктивная теория функций 81= Constructive function theory 81 Труды Международной конференции по конструктивной теории функций Варна, 1-5 июня 1981 г.
Хэвлэсэн: (1983)

Vauxhall 'VX' type A copy of this book is isued free with every car. Second edition
Хэвлэсэн: (1931)

Конструктивная теория функций' 77 = Constructive function theory '77 Труды Междунар. конф. по конструктив. теории функций, Благоевград, 30 мая - 6 июня 1977 г
Хэвлэсэн: (1980)

International Recommendations for Construction Statistics
Хэвлэсэн: (1997)

Our course is peaceful construction
-н: Breznev, Leonid Il'ič
Хэвлэсэн: (1980)

Constructions en béton armé
-н: Mourachev V.
Хэвлэсэн: (1971)

Construction of Nuclear power plants
-н: Dubrovskij V. B., Lavdanskij P. A., Nešumov F. S.
Хэвлэсэн: (1981)

Revolution, Construction and Reform The Path of the Communist Party of China
-н: Zhang Baijia
Хэвлэсэн: (2011)

Building construction Хрестоматия по англ. яз. для строит. вузов и фак.
-н: Беркаш Г.В., Фаворова Н.Л
Хэвлэсэн: (1960)

Managing international construction projets An overview
Хэвлэсэн: (1995)

Large type dictionary of english language with an appendix of abbreviations and foreign words and phrases
Хэвлэсэн: (1920)

Theacher's manual for Typing from rough drafts For Advanced typewriting
-н: Moon H.R
Хэвлэсэн: (1977)

Sur le parti prolétarien de type nouveau
-н: Lenin V. I.
Хэвлэсэн: (1973)

Soviet man the making of a socialist type of personality
-н: Smirnov G.
Хэвлэсэн: (1973)

La communaute et ses types Etudes ethnografiques en URSS (2) 1982
Хэвлэсэн: (1982)

1996. Development and education in childhood : the constructive theory on subject-object activity in human development. Part 1, A case study of a profoundly handicapped infant.
-н: Tanaka, Shinsuke
Хэвлэсэн: (1996)

Cannot write session to /tmp/vufind_sessions/sess_n9sppo6rf9mb1vm7qq98huukmu