Ir para o conteúdo

Twenty Five Years of Constructive Type Theory

Twenty Five Years of Constructive Type Theory

Twenty Five Years of Constructive Type Theory
Foto de Stock: A capa pode ser diferente.

Twenty Five Years of Constructive Type Theory

por Giovanni Sambin

  • Novo
  • Capa dura
Condição
Novo
ISBN 10
0198501277
ISBN 13
9780198501275
Livreiro
Avaliação do vendedor:
Este vendedor ganhou uma 5 de 5 estrelas de clientes da Biblio.
Southport, Merseyside, United Kingdom
10 Cópias disponíveis deste vendedor
(Você pode adicionar mais na finalização da compra.)
Preço do item
€ 113,16
Ou € 101,84 com a
Associação do Clube Bibliófilos
€ 11,92 Envio para USA
Entrega Padrão: 14 para 21 dias

Opções de envio

Formas de pagamento

  • Visa
  • Mastercard
  • American Express
  • Discover
  • PayPal

Sobre este item

Hardback. New. Martin-Lof Type Theory is both an important and practical formalization and a focus for a charismatic view of the foundations of mathematics. This volume, including one of Per Martin-Lof's earliest papers, celebrates the 25th anniversary of the birth of the subject.

Avaliações

(Entrar ou Criar uma conta primeiro!)

Você está avaliando o livro como uma obra não o vendedor ou a cópia específica que você comprou!

Detalhes

Livreiro
The Saint Bookstore GB (GB)
Nº do estoque do livreiro
A9780198501275
Título
Twenty Five Years of Constructive Type Theory
Autor
Giovanni Sambin
Formato/Encadernação
Hardback
Estado do livro
Novo
Quantidade Disponível
10
Encadernação
Capa dura
ISBN 10
0198501277
ISBN 13
9780198501275
Editorial
Oxford University Press, USA
Local de publicação
Oxford, United Kingdom
Esta edição foi publicada pela primeira vez
November 13, 1998

Termos da venda

The Saint Bookstore

Refunds or Returns: A full refund of the price paid will be given if returned within 30 days in undamaged condition. If the product is faulty, we may send a replacement.

Sobre o Vendedor

The Saint Bookstore

Avaliação do vendedor:
Este vendedor ganhou uma avaliação de 5 de 5 estrelas de Biblio clientes.
Membro de Biblio desde 2018
Southport, Merseyside

Sobre The Saint Bookstore

The Saint Bookstore specialises in hard to find titles & also offers delivery worldwide for reasonable rates.

Glossário

Alguns termos que podem ser usados ??nesta descrição incluem:

New
A new book is a book previously not circulated to a buyer. Although a new book is typically free of any faults or defects, "new"...
tracking-