Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Extensional Constructs in Intensional Type Theory

Език Английски езикАнглийски език
Книга С меки корици
Книга Extensional Constructs in Intensional Type Theory Martin Hofmann
Код Либристо: 06794662
Издателство Springer London Ltd, септември 2011
Extensional Constructs in Intensional Type Theory presents a novel approach to the treatment of equa... Цялото описание
? points 368 b
151.90 €
297.09  лв
Външен склад Изпращаме след 5-8 дни

30 дни за връщане на стоката

Клиентите са закупили също

Po zmierzchu Haruki Murakami / Книга С меки корици
common.buy 8.89 € 17.39 лв
Hannibal Thomas Harris / Книга С меки корици
common.buy 12.46 € 24.37 лв
Holmes z Kjóta 9 Mai Močizuki / Книга С меки корици
common.buy 9.41 € 18.40 лв
Weck Den Sieger in Dir! Alexander Christiani / Книга С меки корици
common.buy 59.78 € 116.93 лв
Mega Guide Pharmaco Infirmier Laurent Chouchana / E-книга Adobe ePub DRM
common.buy 23.11 € 45.21 лв
Katalog der Handschriften der Koeniglichen Bibliothek zu Bamberg Friedrich Leitschuh / Книга С меки корици
common.buy 34.91 € 68.27 лв
Joan Baez: From Every Stage Joan Baez / Аудио Аудио компактдиск
common.buy 16.55 € 32.36 лв
Estudo das caracteristicas fisico-quimicas das areias costeiras Mohamed Monkade / Книга С меки корици
common.buy 37.75 € 73.84 лв
La batalla de l'Ebre. Història, paisatge, patrimoni. Junqueras / Книга С меки корици
common.buy 26.79 € 52.39 лв
ESQUIRLA DEL AMANECER SANDERSON / Книга С твърди корици
common.buy 23.68 € 46.32 лв
Purification p P / Аудио Аудио компактдиск
common.buy 18.10 € 35.39 лв
Travaux Preparatoires Du Congres General Du Genie Civil, Session Nationale, Mars 1918. Section 5 Congres General Du Genie / Книга С меки корици
common.buy 18.41 € 36.00 лв
Akorát, že mi zabili tátu Vojtěch Klimt / Книга С твърди корици
common.buy 20.53 € 40.15 лв
Pensees et autres maux Panthera Why'z / Книга С меки корици
common.buy 8.74 € 17.09 лв
After forever Anna Todd / Книга С меки корици
common.buy 12.46 € 24.37 лв
EL REINO DE LOS JAQUINS Disney / Книга С меки корици
common.buy 3.67 € 7.17 лв
Tls Lorenna Dantas Lara / Книга С меки корици
common.buy 52.75 € 103.17 лв
Kommunikationsmanagement Thomas Heinze / Книга С меки корици
common.buy 39.92 € 78.08 лв
Regards Sur La Chanson de Geste: Mult Ad Apris KI Bien Conuist Ahan Alain Labbe / Книга С меки корици
common.buy 54.04 € 105.70 лв
ESTRO IN WATTS - POESIA DA IDADE DO ROCK - 1955-1980 JOAO DE MENEZES-FERREIRA / Книга Книга
common.buy 40.49 € 79.20 лв

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.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Extensional Constructs in Intensional Type Theory
Автор Martin Hofmann
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2011
Брой страници 216
Баркод 9781447112433
ISBN 1447112431
Код Либристо 06794662
Издателство Springer London Ltd
Тегло 359
Размери 155 x 235 x 13

Категории

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer programming / software engineering
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

AQA GCSE (9-1) Geography Second Edition WIDDOWSON JOHN / Книга С меки корици
common.buy 58.18 € 113.79 лв
Entrepreneurship, Universities & Resources Ulla Hytti / Книга С твърди корици
common.buy 152.37 € 298.00 лв
Romanian Orthodox Church and the Holocaust Ion Popa / Книга С твърди корици
common.buy 48.66 € 95.18 лв
Pembrokeshire Julian Rollins / Книга С меки корици
common.buy 9.20 € 18.00 лв
Outline of the History of the Literature of the Old Testament John Taylor / Книга С меки корици
common.buy 21.77 € 42.58 лв
Idea of Europe Catriona Seth / Книга С меки корици
common.buy 28.80 € 56.33 лв
Blood is Thicker Than Water M Katherine Clark / Книга С меки корици
common.buy 22.96 € 44.90 лв
The Return of Sherlock Holmes: The Adventure of the Second Stain Sir Arthur Conan Doyle / Книга С меки корици
common.buy 8.11 € 15.87 лв
Little Red Tractor - The Day of the Big Surprise Peter Tye / Книга С меки корици
common.buy 10.34 € 20.22 лв
Rover Boys on the Great Lakes ARTHUR M. WINFIELD / Книга С меки корици
common.buy 17.48 € 34.18 лв
Top
The Electric State Simon Stalenhag / Книга С твърди корици
common.buy 29.58 € 57.85 лв
Top
Invention of the Jewish People Shlomo Sand / Книга С меки корици
common.buy 14.89 € 29.12 лв
Supernavigators: Exploring the Wonders of How Animals Find Their Way David Barrie / Книга С меки корици
common.buy 16.65 € 32.56 лв
Issues in the Assessment of Bilinguals Virginia C Mueller Gathercole / Книга С меки корици
common.buy 46.75 € 91.44 лв
A Legend Of Montrose: A Romance Sir Walter Scott / Книга С твърди корици
common.buy 45.77 € 89.51 лв
Earl of Chesterfield: Letters to His Son V2 Earl Of Chesterfield / Книга С твърди корици
common.buy 52.44 € 102.56 лв
A Memoir of Mrs. Henrietta Shuck: The First American Female Missionary to China (1849) Jeremiah Bell Jeter / Книга С твърди корици
common.buy 42.98 € 84.05 лв
Understanding Jewellery: The 20th Century David Bennett / Книга С твърди корици
common.buy 67.18 € 131.39 лв
The Valley Esteban Rodriguez / Книга С меки корици
common.buy 15.72 € 30.74 лв
Top
Harry Potter Ravenclaw House Editions Hardback Box Set J.K. Rowling / Книга С твърди корици
common.buy 167.31 € 327.24 лв
Oxford Solo Songs: Christmas 14 songs with piano (Paperback) Oxford / Печатни материали Ноти
common.buy 23.84 € 46.62 лв
Office / Книга С твърди корици
common.buy 21.51 € 42.07 лв
Restless Spirits William S. Yellow Robe Jr. / E-книга Adobe ePub DRM
common.buy 36.46 € 71.31 лв
How to Create and Preserve Wealth that Lasts Generations Praveen Kumar / E-книга Adobe ePub DRM
common.buy 4.08 € 7.98 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?