КорзинаКупить Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics). Автор Morten Heine SA?rensen, Pawel Urzyczyn.
Вы всегда можете уточнить на сайте продавца актуальную цену и наличие на товар "Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics)"
Взгляните на следующие похожие товары
1865 ₽
Лучшая цена в интернет магазине my-shop.ru
1855 ₽
Лучшая цена в интернет магазине my-shop.ru
971 ₽
Лучшая цена в интернет магазине my-shop.ru
1855 ₽
Лучшая цена в интернет магазине my-shop.ru
1238 ₽
Лучшая цена в интернет магазине Chitai-Gorod.ru
1841 ₽
Лучшая цена в интернет магазине my-shop.ru
Описание товара
The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance,minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc.The isomorphism has many aspects, even at the syntactic level:formulas.. описание на сайте интернет продавца
Характеристики Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics)
| Язык | Английский | Тип обложки | Твердый переплет |
| Parsed | 1 | Год | 2006 |
| Тип обложки (Переплет) | Твердый переплет | Автор | Morten Heine SA?rensen, Pawel Urzyczyn |
| Вес | 792 | Штрихкод | 9780444520777 |
| Store | false | Manufacturer_warranty | false |
| Кол-во страниц | 456 | Язык издания | Английский |
| Автор на обложке | Morten Heine SA?rensen, Pawel Urzyczyn | Размеры | 0.100/0.100/0.100 |
| ISBN | 0444520775 | Переплет | Твердый переплет |
| Вес в упаковке, г | 792 | Глубина упаковки | 1 |
| Ширина упаковки | 1 | Возраст | 18+ |
| Высота упаковки | 1 | Количество страниц | 456 |
| Sales_notes | Вернем 112,0000 руб. по программе OzonStatus |
Кроме Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics), также взгляните на следующие похожие товары
Эта книга - репринт оригинального издания (издательство "London and Edinburgh, Williams and Norgate", 1898 год), созданный на основе электронной копии высокого разрешения,..
1865 ₽
Лучшая цена в интернет магазине my-shop.ru
Подробнее
Эта книга — репринт оригинального издания (издательство "Berkeley : University of California Press", 1892 год), созданный на основе электронной копии высокого разрешения,..
1855 ₽
Лучшая цена в интернет магазине my-shop.ru
Описание
Эта книга — репринт оригинального издания (издательство "New York & London, G.P. Putnam's sons", 1887 год), созданный на основе электронной копии высокого..
971 ₽
Лучшая цена в интернет магазине my-shop.ru
Описание
Эта книга — репринт оригинального издания (издательство "Boston, New York [etc.] Houghton, Mifflin and Company", 1885 год), созданный на основе электронной копии высокого..
1855 ₽
Лучшая цена в интернет магазине my-shop.ru
Подробнее
В этом всестороннем введении в профессиональное музыкальное производство с помощью приложения Logic ProX шаг за шагом описывается процесс создания музыки. Реальные практические..
1238 ₽
Лучшая цена в интернет магазине Chitai-Gorod.ru
Описание
Контакты: support@newbookshop.ru