|
|
libcats.org
History and Philosophy of Constructive Type TheoryGiovanni SommarugaA comprehensive survey of Martin-L?f's constructive type theory, considerable parts of which have only been presented by Martin-L?f in lecture form or as part of conference talks. Sommaruga surveys the prehistory of type theory and its highly complex development through eight different stages from 1970 to 1995. He also provides a systematic presentation of the latest version of the theory, as offered by Martin-L?f at Leiden University in Fall 1993. This presentation gives a fuller and updated account of the system. Earlier, brief presentations took no account of the issues related to the type-theoretical approach to logic and the foundations of mathematics, while here they are accorded an entire part of the book.
Readership: Comprehensive accounts of the history and philosophy of constructive type theory and a considerable amount of related material. Readers need a solid background in standard logic and a first, basic acquaintance with type theory. EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Корабль мертвецовАвтор: Лифантьева Евгения ИвановнаКатегория: Социально-психологическая фантастика
Размер книги: 90 Kb
Teach Yourself J2EE in 21 Days [Java]Автор: Peter Roxburgh, Автор: Martin Bond, Автор: Debbie Law, Автор: Andy Longshaw, Автор: Dan Haywood, Автор: Martin Bond
Размер книги: 8.88 Mb
Народ збурений: Національно-визвольний рух в Україні й національні рухи опору в Білорусії, Литві, Латвії, Естонії у 1940–50-х рокахАвтор: Русначенко А.Категория: Военная история
Размер книги: 12.92 Mb
Working Class Lesbian Life: Classed Outsiders (York Studies on Women and Men)Автор: Yvette TaylorКатегория: Образование
Размер книги: 1.10 Mb
Introduction to Risk Calculation in Genetic Counseling, Third EditionАвтор: Ian D. Young (Author)
Размер книги: 2.88 Mb
Revealing the Hidden Contradictions in the Bible and Why We Don't Know About ThemАвтор: Ehrman Bart DКатегория: fiction
Размер книги: 285 Kb
|
|
|