- 2 402 202 книги
- Поиск
libcats.org
Introduction to Higher-Order Categorical Logic
J. Lambek, P. J. ScottPart I indicates that typed-calculi are a formulation of higher-order logic, and cartesian closed categories are essentially the same. Part II demonstrates that another formulation of higher-order logic is closely related to topos theory.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, сад
Автор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555
Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Момент истины (В августе сорок четвертого...)
Автор: Богомолов Владимир ОсиповичКатегория: О войне
Размер книги: 1.83 Mb
Только что пользователи скачали эти книги:
Кратчайшие линии. Вариационные задачи.
Автор: Лазарь Аронович ЛюстерникКатегория: Физико-математические науки: математика
Размер книги: 669 Kb
Fundamentals in Oncologic Ultrasound: Sonographic Imaging and Intervention in the Cancer Patient
Автор: Orlando Catalano, Автор: Antonio Nunziata, Автор: Alfredo Siani, Автор: David O. Cosgrove
Размер книги: 17.46 Mb
Complications During Percutaneous Interventions for Congenital and Structural Heart Disease
Автор: Ziyad M. Hijazi, Автор: Ted Feldman, Автор: John Cheatham, Автор: Horst SievertКатегория: Математика, Прикладная математика
Размер книги: 15.13 Mb
Who Were the Early Israelites and Where Did They Come From?
Автор: William G. Dever
Размер книги: 5.36 Mb
The Wedding of the Century & Other Stories
Автор: Putney Mary Jo, Автор: James Kristin, Автор: Featherstone CharlotteКатегория: fiction
Размер книги: 435 Kb