Fale com o seu livreiro
Rede de livrarias
Somos Livros
Reserva/ ver stock na livraria
Levantamento na livraria
Conexões literárias
Reserva de livros
Levantamento em livraria
Blogue
Cartão Leitor Bertrand
Agenda cultural
Listas de desejos
Comunidade Bertrand
Afiliados
As nossas livrarias
Login
Novo registo
Dados pessoais
Área de cliente
Encomendas
Biblio (ebooks e audiolivros)
Lista de desejos
Trocas e devoluções
Ajuda
Logout
VALES DE COMPRA
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas.
poupe 14,51€
Temporal Type Theory
de David I. Spivak e Patrick Schultz
poupe 6,08€
Communism And Nationalism In Postwar Cyprus, 1945-1955
de Alexios Alecou
poupe 5,96€
Mathematical Logic
de Wei Li
poupe 11,86€
Coding, Cryptography And Combinatorics
O seu livreiro telefona-lhe
Telefone-nos
210 305 590
Envie-nos um WhatsApp
915 297 188
Envie-nos um email
[email protected]
Para que lhe sobre mais tempo para as suas leituras.
O seu nome e e-mail:
Vou partilhar com...
Neste momento, este artigo está indisponível no fornecedor. Deixe-nos o seu e-mail para que os nossos livreiros o/a possam avisar assim que fique disponível.
O seu pedido foi registado
Caso este produto fique disponível novamente, será avisado por email
Obrigado por partilhar connosco a sua opinião.
O seu comentário só ficará visível após validação.
- Açores e a Madeira:
Portes grátis:
» Em todas as encomendas: se escolher levantar a sua encomenda numa livraria Bertrand;
» Em todas as encomendas de valor igual ou superior a 16 €:
- se escolher receber a sua encomenda numa morada à sua escolha, através da forma de envio 'Entrega na sua morada' (pode selecionar uma janela horária ou a entrega ao sábado, o que implica o pagamento de uma taxa de serviço);
- ou recebê-la num ponto de recolha;
Açores e a Madeira:
Promoção válida para encomendas de livros não escolares registadas até 31/12/2026. Descontos ou vantagens não acumuláveis com outras promoções.
Será entregue na data de lançamento se for pago até 48h úteis antes, para moradas de Portugal Continental.
No caso de um livro importado (livros editados noutro país), poderão verificar-se atrasos no fornecimento que impeçam a entrega na data de lançamento.
Estes artigos, especialmente as edições mais antigas, estão sujeitos à confirmação de preço e disponibilidade de stock no fornecedor..
- eBooks para leitura na Biblio Bertrand;
- eBooks para leitura no Adobe Digital Editions (ADE) - na Área de Cliente » Os meus eBooks para ADE.
- Audiolivros - na Biblio Bertrand.
1 - Clique em 'RESERVAR NA LIVRARIA';
2 - Escolha a livraria da sua preferência;
3 - Aguarde a nossa confirmação da reserva (por e-mail);
4 - Levante o seu livro na livraria selecionada.