Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
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
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €
phone Contacto phoneComo comprar

Extensional Constructs in Intensional Type Theory

Língua InglêsInglês
Livro Capa mole
Livro Extensional Constructs in Intensional Type Theory Martin Hofmann
Código Libristo: 06794662
Editoras Springer London Ltd, setembro 2011
Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equa... Descrição completa
? points 311 b
128.59 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Po zmierzchu Haruki Murakami / Livro Capa mole
common.buy 6.37 €
Hannibal Thomas Harris / Livro Capa mole
common.buy 10.42 €
Holmes z Kjóta 9 Mai Močizuki / Livro Capa mole
common.buy 6.88 €
Weck Den Sieger in Dir! Alexander Christiani / Livro Capa mole
common.buy 50.42 €
Mega Guide Pharmaco Infirmier Laurent Chouchana / E-book Adobe ePub DRM
common.buy 19.23 €
Katalog der Handschriften der Koeniglichen Bibliothek zu Bamberg Friedrich Leitschuh / Livro Capa mole
common.buy 29.15 €
Joan Baez: From Every Stage Joan Baez / Áudio CD de áudio
common.buy 14.47 €
Estudo das caracteristicas fisico-quimicas das areias costeiras Mohamed Monkade / Livro Capa mole
common.buy 40.40 €
La batalla de l'Ebre. Història, paisatge, patrimoni. Junqueras / Livro Capa mole
common.buy 20.44 €
ESQUIRLA DEL AMANECER SANDERSON / Livro Livro de capa dura
common.buy 18.12 €
Purification p P / Áudio CD de áudio
common.buy 14.37 €
Travaux Preparatoires Du Congres General Du Genie Civil, Session Nationale, Mars 1918. Section 5 Congres General Du Genie / Livro Capa mole
common.buy 15.69 €
Akorát, že mi zabili tátu Vojtěch Klimt / Livro Livro de capa dura
common.buy 15.48 €
Pensees et autres maux Panthera Why'z / Livro Capa mole
common.buy 7.28 €
After forever Anna Todd / Livro Capa mole
common.buy 10.42 €
EL REINO DE LOS JAQUINS Disney / Livro Capa mole
common.buy 2.83 €
Tls Lorenna Dantas Lara / Livro Capa mole
common.buy 56.61 €
Kommunikationsmanagement Thomas Heinze / Livro Capa mole
common.buy 33.71 €
Regards Sur La Chanson de Geste: Mult Ad Apris KI Bien Conuist Ahan Alain Labbe / Livro Capa mole
common.buy 42.82 €
ESTRO IN WATTS - POESIA DA IDADE DO ROCK - 1955-1980 JOAO DE MENEZES-FERREIRA / Livro Livro
common.buy 37.75 €

Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equality in Martin-Loef type theory (a basis for important work in mechanised mathematics and program verification). Martin Hofmann attempts to reconcile the two different ways that type theories deal with identity types. The book will be of interest particularly to researchers with mainly theoretical interests and implementors of type theory based proof assistants, and also fourth year undergraduates who will find it useful as part of an advanced course on type theory.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Extensional Constructs in Intensional Type Theory
Autor Martin Hofmann
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2011
Número de páginas 216
EAN 9781447112433
ISBN 1447112431
Código Libristo 06794662
Editoras Springer London Ltd
Peso 359
Dimensões 155 x 235 x 13

Categorias

Matemática & ciência > Matemática > Fundamentos da matemática > Lógica matemática
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica
Informática & tecnologia da informação > Programação & engenharia informática
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ário

Também pode estar interessado em

AQA GCSE (9-1) Geography Second Edition WIDDOWSON JOHN / Livro Capa mole
common.buy 50.62 €
Entrepreneurship, Universities & Resources Ulla Hytti / Livro Livro de capa dura
common.buy 124.85 €
Romanian Orthodox Church and the Holocaust Ion Popa / Livro Livro de capa dura
common.buy 41.61 €
Pembrokeshire Julian Rollins / Livro Capa mole
common.buy 7.69 €
Outline of the History of the Literature of the Old Testament John Taylor / Livro Capa mole
common.buy 18.22 €
Idea of Europe Catriona Seth / Livro Capa mole
common.buy 24.70 €
Blood is Thicker Than Water M Katherine Clark / Livro Capa mole
common.buy 19.43 €
The Return of Sherlock Holmes: The Adventure of the Second Stain Sir Arthur Conan Doyle / Livro Capa mole
common.buy 6.88 €
Little Red Tractor - The Day of the Big Surprise Peter Tye / Livro Capa mole
common.buy 8.80 €
Rover Boys on the Great Lakes ARTHUR M. WINFIELD / Livro Capa mole
common.buy 14.98 €
Principal
The Electric State Simon Stalenhag / Livro Livro de capa dura
common.buy 23.69 €
Principal
Invention of the Jewish People Shlomo Sand / Livro Capa mole
common.buy 12.24 €
Supernavigators: Exploring the Wonders of How Animals Find Their Way David Barrie / Livro Capa mole
common.buy 14.07 €
Issues in the Assessment of Bilinguals Virginia C Mueller Gathercole / Livro Capa mole
common.buy 39.38 €
A Legend Of Montrose: A Romance Sir Walter Scott / Livro Livro de capa dura
common.buy 39.18 €
Earl of Chesterfield: Letters to His Son V2 Earl Of Chesterfield / Livro Livro de capa dura
common.buy 44.85 €
A Memoir of Mrs. Henrietta Shuck: The First American Female Missionary to China (1849) Jeremiah Bell Jeter / Livro Livro de capa dura
common.buy 36.75 €
Understanding Jewellery: The 20th Century David Bennett / Livro Livro de capa dura
common.buy 54.67 €
The Valley Esteban Rodriguez / Livro Capa mole
common.buy 13.36 €
Principal
Harry Potter Ravenclaw House Editions Hardback Box Set J.K. Rowling / Livro Livro de capa dura
common.buy 136.09 €
Oxford Solo Songs: Christmas 14 songs with piano (Paperback) Oxford / Artigos impressos Partituras
common.buy 18.52 €
Office / Livro Livro de capa dura
common.buy 17.51 €
Restless Spirits William S. Yellow Robe Jr. / E-book Adobe ePub DRM
common.buy 30.17 €
How to Create and Preserve Wealth that Lasts Generations Praveen Kumar / E-book Adobe ePub DRM
common.buy 3.33 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?