募捐 9月15日2024 – 10月1日2024
关于筹款
书籍搜索
书
募捐:
68.6% 达到
登录
登录
访问更多功能
个人推荐
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
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
按照
此链接
或在 Telegram 上找到“@BotFather”机器人
2
发送 /newbot 命令
3
为您的聊天机器人指定一个名称
4
为机器人选择一个用户名
5
从 BotFather 复制完整的最后一条消息并将其粘贴到此处
×
×