წიგნების ძებნა
წიგნები
დახმარება
შესვლა
შესვლა
ავტორიზებულ მომხმარებლებს აქვთ წვდომა:
პერსონალური რეკომენდაციები
Telegram ბოტი
ჩამოტვირთვის ისტორია
გაგზავნეთ Email-ზე ან 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
მიჰყევით
ამ ბმულს
ან Telegram-ში მოძებნეთ „@BotFather“ ბოტი
2
გაგზავნეთ ბრძანება /newbot
3
შეიყვანეთ თქვენი ბოტის სახელი
4
შეიყვანეთ მომხმარებლის სახელი ბოტისთვის
5
დააკოპირეთ BotFather-ისგან ბოლო შეტყობინება და ჩასვით აქ
×
×