Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios.
Crie uma conta gratuitamente
Contacto
Como comprar
Ajuda
Entrega
Correio DHL 7.99 €
Correio DPD 4.49 €
Correio MRW 3.99 €
Ponto DPD 3.99 €
Guia de compras
A minha conta
▸
Vazio :-(
0
Mathematical Formulae
Língua
Inglês
Inglês
Livro
Capa mole
This work contains the formula part of the presentation of the mathematical logic R0, a further deve...
Descrição completa
Código Libristo: 16048876
?
96 b
96 b
39.59
€
Armazenamento externo
Envio em 9-15 dias
Política de devolução de 30 dias
Os clientes também compraram
/
Capa mole
12.55
€
/
Capa mole
11.03
€
/
Capa mole
13.26
€
/
Capa mole
45.67
€
/
Capa mole
15.08
€
This work contains the formula part of the presentation of the mathematical logic R0, a further development of Peter B. Andrews' logic Q0. The syntactic features provided by R0 are type variables (polymorphic type theory), the binding of type variables with the abstraction operator and single variable binder (type abstraction), and (some of) the means necessary for dependent types (dependent type theory). For more information, please visit: http://doi.org/10.4444/100.10
Atriz
&
Poliglota
EWA KASP
para
Reproduzir vídeo
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.
Sobre o livro
Nome completo
Mathematical Formulae
Autor
Ken Kubota
Língua
Inglês
Inglês
Encadernação
Livro - Capa mole
Data de emissão
2017
Número de páginas
828
EAN
9783943334074
ISBN
3943334074
Código Libristo
16048876
Editoras
Owl of Minerva Press
Peso
1950
Dimensões
210 x 297 x 42
Categorias
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatárioTambém pode estar interessado em
/
Livro de capa dura
48.30
€
/
Capa mole
146.95
€
/
Capa mole
24.91
€
Conselheiro de livros Libroamiko
Ao utilizar este chat, está a comunicar com inteligência artificial generativa. Ao utilizá-lo, concorda também com o processamento de dados pessoais.
Olá! Sou o Libroamiko, o seu conselheiro de livros.
Como posso ajudar?
Olá, sou o Libroamiko, posso ajudar?