գրքերի որոնում
գրքեր
Աջակցել
Մուտք գործել
Մուտք գործել
մուտք գործելուց հետո օգտատերերին հասանելի են․
անհատականացված առաջարկություններ
Telegram բոտ
ներբեռնումների պատմությունը
էլ. փոստին կամ Kindle-ին ուղարկումը
հավաքածուների կառավարումը
ընտրյալներին պահպանումը
Անձնական
Գրքերի հարցումներ
Ուսումնասիրում
Z-Recommend
Գրքերի հավաքածու
Ամենահայտնի
Կատեգորիաներ
Մասնակցություն
Աջակցել
Ներբեռնումներ
Litera Library
Նվիրաբերել թղթե գրքեր
Ավելացնել թղթե գրքեր
Search paper books
Իմ LITERA Point-ը
Բանալի բառերի որոնում
Main
Բանալի բառերի որոնում
search
1
Categories for Types (Cambridge Mathematical Textbooks)
Cambridge University Press
Roy L. Crole
a
the
of
x
is
and
c
that
we
in
to
f
for
g
i
m
h
d
an
b
by
t
which
y
category
are
n
be
v
theory
then
type
given
if
set
u
e
this
th
where
1
as
with
s
let
j
r
function
p
o
Տարի:
1994
Լեզու:
english
Ֆայլ:
PDF, 3.58 MB
Ձեր թեգերը:
0
/
5.0
english, 1994
2
Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Series Number 7)
Cambridge University Press
J. Lambek
,
P. J. Scott
a
the
of
is
and
in
that
to
we
x
f
for
by
b
1
if
as
are
type
an
p
c
g
0
be
s
t
this
it
with
category
2
closed
n
then
such
i
all
proof
theory
h
which
l
categories
topos
arrow
on
u
m
cartesian
Տարի:
1988
Լեզու:
english
Ֆայլ:
PDF, 1.75 MB
Ձեր թեգերը:
0
/
5.0
english, 1988
3
姚靓. 中国文化英语阅读输入对英语专业学生相关笔译输出的影响研究[D].长沙理工大学,2019.
姚靓. 中国文化英语阅读输入对英语专业学生相关笔译输出的影响研究[D].长沙理工大学
,
2019.
the
of
and
in
english
chinese
to
culture
students
is
that
1
are
reading
language
translation
can
materials
class
a
on
input
for
teaching
choose
part
with
their
2
learning
about
be
question
which
from
output
category
it
we
not
3
experimental
pretest
they
supplementary
as
have
4
mean
college
Լեզու:
chinese
Ֆայլ:
PDF, 5.26 MB
Ձեր թեգերը:
0
/
0
chinese
1
Հետևեք
այս հղմանը
կամ որոնեք @BotFather բոտը Telegram-ում
2
Ուղարկեք /newbot հրամանը
3
Նշեք ձեր բոտի անունը
4
Նշեք բոտի օգտատիրոջ անունը
5
Պատճենեք վերջին հաղորդագրությունը BotFather-ից և տեղադրեք այն այստեղ
×
×