поиск книг
книги
Поддержать
Войти
Войти
авторизованным пользователям доступны:
персональные рекомендации
Telegram бот
история скачиваний
отправить на Email или Kindle
управление подборками
сохранение в избранное
Личное
Запросы книг
Изучение
Z-Recommend
Подборки книг
Самые популярные
Категории
Участие
Поддержать
Загрузки
Litera Library
Пожертвовать бумажные книги
Добавить бумажные книги
Search paper books
Мой LITERA Point
Поиск ключевых слов
Main
Поиск ключевых слов
search
1
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
2
General Topology
Springer New York, NY
Jacques Dixmier
a
of
x
the
is
that
e
and
let
in
f
0
be
for
then
i
1
to
y
if
space
2
d
such
r
u
open
set
there
are
on
an
b
v
by
we
every
exists
one
with
spaces
therefore
continuous
this
x0
theorem
closed
compact
subset
g
Год:
1984
Язык:
english
Файл:
PDF, 1.45 MB
Ваши теги:
0
/
0
english, 1984
3
中日初中英语教科书中文化内容及呈现方式的比较研究[D].南京师范大学,2017.
韦静.
the
of
and
in
culture
to
english
a
is
1
language
textbooks
are
cultural
contents
as
that
be
this
for
which
2
teaching
these
3
education
new
on
with
target
4
their
two
related
between
yilin
sets
edition
c
different
will
foreign
l
china
more
it
used
series
research
source
Язык:
chinese
Файл:
PDF, 8.12 MB
Ваши теги:
0
/
5.0
chinese
4
Josuttis著 侯捷 孟岩译
(德)Nicolai M
函
迭
操
符
stream
stl
class
exception
algorithms
classes
o
handling
i
streams
string
串
缓
strings
adapters
c
iterators
maps
库
function
iterator
lists
vectors
控
搜
殊
access
arrays
auto_ptr
character
containers
deques
input
multimaps
multisets
output
queues
sets
寻
插
核
综
allocator
and
complex
file
Файл:
PDF, 44.75 MB
Ваши теги:
0
/
0
1
Перейдите по
этой ссылке
или найдите бота "@BotFather" в Telegram
2
Отправьте команду /newbot
3
Укажите имя для вашего бота
4
Укажите имя пользователя для бота
5
Скопируйте последнее сообщение от BotFather и вставьте его сюда
×
×