Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
Пожертвування:
69.7% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
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
Jacques Lacan and the Logic of Structure: Topology and language in psychoanalysis
Routledge
Ellie Ragland
the
of
a
in
to
is
and
that
as
lacan
or
by
one
it
object
not
which
an
with
real
on
this
from
for
language
other
desire
signi
subject
his
be
but
are
structure
at
he
jouissance
its
p
lacan’s
being
discourse
what
her
imaginary
can
symbolic
er
drives
between
Рік:
2015
Мова:
english
Файл:
PDF, 14.19 MB
Ваші теги:
0
/
0
english, 2015
4
深度探索C++对象模型
[美]Stanley B.Lippman著 侯捷译
member
the
data
object
of
functions
semantics
virtual
针
a
函
拟
虚
class
template
copy
function
initialization
model
c
constructor
default
type
操
inheritance
members
objects
adding
base
exception
handling
new
pointer
polymorphism
static
临
享
优
侯
封
拷
捷
符
贝
键
1
and
at
bitwise
construction
Рік:
2009
Мова:
chinese
Файл:
PDF, 10.73 MB
Ваші теги:
0
/
5.0
chinese, 2009
5
深度探索C++对象模型
华中科技大学出版社
[美]Stanley B.Lippman著 侯捷译
bbs.theithome.com
member
the
昕
data
object
c
of
functions
semantics
virtual
操
虚
软
针
阅
a
函
扎
拟
籍
页
网
辑
2005
2007
class
template
练
copy
function
initialization
model
mfc
掌
constructor
default
type
优
典
inheritance
members
objects
坛
搜
码
踏
郭
靖
adding
Рік:
2009
Мова:
chinese
Файл:
PDF, 15.93 MB
Ваші теги:
0
/
0
chinese, 2009
6
Introducing Transformational Grammar - From Principles and Parameters to Minimalism.
Independely Published
Jamal Ouhalla
and
theory
页
f
structure
录
by
index
language
lexicon
movement
of
phenomena
phrase
preface
封
库
炎
煊
索
附
0
1
10
11
12
13
14
15
16
17
18
19
2
20
3
4
497
5
6
7
8
9
acknowledgements
ansformations
antis
bar
bare
bi
bibliography
Рік:
1999
Мова:
english
Файл:
PDF, 10.78 MB
Ваші теги:
5.0
/
0
english, 1999
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×