Doações 15 de Setembro 2024 – 1º de Outubro 2024
Sobre a angariação de fundos
pesquisa de livros
livros
Doações:
69.6% atingido
Entrar
Entrar
para acessar mais recursos:
Recomendações pessoais
Telegram bot
Baixar histórico
Enviar para o E-mail ou Kindle
gerenciar as listas de livros
salvar para os favoritos
Pessoal
Pedidos de livro
Explorar
Z-Recomendado
Coleções de livros
Mais populares
Categorias
Contribuição
Doar
Carregamentos
Litera Library
Doe livros de papel
Adicione livros de papel
Search paper books
Meu LITERA Point
Pesquisa de termos
Main
Pesquisa de termos
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
Ano:
1994
Idioma:
english
Arquivo:
PDF, 3.58 MB
As suas 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
Ano:
1988
Idioma:
english
Arquivo:
PDF, 1.75 MB
As suas 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
Ano:
2015
Idioma:
english
Arquivo:
PDF, 14.19 MB
As suas 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
Ano:
2009
Idioma:
chinese
Arquivo:
PDF, 10.73 MB
As suas 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
Ano:
2009
Idioma:
chinese
Arquivo:
PDF, 15.93 MB
As suas 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
Ano:
1999
Idioma:
english
Arquivo:
PDF, 10.78 MB
As suas tags:
5.0
/
0
english, 1999
1
Siga a
este link
ou encontre o bot "@BotFather" no Telegram
2
Send /equipe newbot
3
Indique o nome para o seu chatbot
4
Escolha um nome de usuário para um bot
5
Copia a última mensagem de BotFather e insira-a aqui
×
×