Fundraising September 15, 2024 – October 1, 2024
About fundraising
books search
books
Fundraising:
22.0% raised
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Z-Recommend
Booklists
Most Popular
Categories
Contribution
Donate
Uploads
Litera Library
Donate paper books
Add paper books
Search paper books
Open LITERA Point
Terms search
Main
Terms search
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
Year:
1994
Language:
english
File:
PDF, 3.58 MB
Your tags:
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
Year:
1988
Language:
english
File:
PDF, 1.75 MB
Your tags:
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
Year:
2015
Language:
english
File:
PDF, 14.19 MB
Your tags:
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
Year:
2009
Language:
chinese
File:
PDF, 10.73 MB
Your tags:
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
Year:
2009
Language:
chinese
File:
PDF, 15.93 MB
Your tags:
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
Year:
1999
Language:
english
File:
PDF, 10.78 MB
Your tags:
5.0
/
0
english, 1999
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×