Selected Papers on Automath (Studies in Logic and the Foundations of Mathematics)

libcats.org

Главная →

R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer (editors)

Скачать книгу бесплатно (pdf, 49.76 Mb)

Читать «Selected Papers on Automath (Studies in Logic and the Foundations of Mathematics)»

Популярные книги за неделю:

Проектирование и строительство. Дом, квартира, сад

Автор: Петер Нойферт, Автор: Людвиг Нефф

Категория: color, architect, civil, building

Размер книги: 20.83 Mb

Секреты компьютерного шпионажа. Тактика и контрмеры

Автор: Дж. Макнамара

Категория: info, info, infotech, computers, computers, net

Размер книги: 3.10 Mb

Технология регенерации зубов

Автор: Петров Аркадий Наумович

Категория: Здоровье

Размер книги: 69 Kb

Ключ к сверхсознанию

Автор: Петров Аркадий Наумович

Категория: Путь к себе

Размер книги: 309 Kb

Система упражнений по развитию способностей человека (Практическое пособие)

Автор: Петров Аркадий Наумович

Категория: Путь к себе

Размер книги: 818 Kb

Сотворение мира (3-х томник)

Автор: Петров Аркадий Наумович

Категория: Путь к себе

Размер книги: 817 Kb

Радиолюбительские схемы на ИС типа 555

Автор: Трейстер Р.

Категория: Электротехника и связь

Размер книги: 13.64 Mb

Древо жизни

Автор: Петров Аркадий Наумович

Категория: Путь к себе

Размер книги: 1.70 Mb

Здоровье надо созидать

Автор: Петров Аркадий Наумович

Категория: Здоровье

Размер книги: 363 Kb

Чем приближается будущее

Автор: Петров Аркадий Наумович

Категория: Путь к себе

Размер книги: 160 Kb

Только что пользователи скачали эти книги:

Electronic Control of Switched Reluctance Machines

Автор: TJE Miller

Размер книги: 6.97 Mb

Жизнь животных. Млекопитающие.

Автор: Соколов В.Е. (ред)

Размер книги: 82.67 Mb

Совершенствование шахматиста

Автор: Рохлин Я

Категория: 1807893-Шахматная библиотека webchess.ru, Шахматные учебники и самоучители

Размер книги: 836 Kb

Control Using Logic-Based Switching

Автор: A.Stephen Morse

Категория: Engineering

Размер книги: 17.25 Mb

Optimality Theory and Pragmatics

Автор: Reinhard Blutner, Автор: Henk Zeevat

Размер книги: 1.45 Mb

Церковь Священной Белой Расы на пути к богочеловечеству

Автор: Лазарева Екатерина

Категория: Научная литература

Размер книги: 20 Kb

Nutrition and Alcohol: Linking Nutrient Interactions and Dietary Intake

Автор: Ronald R. Watson, Автор: Victor R. Preedy

Категория: Психология

Размер книги: 3.38 Mb

Disorderly Discourse: Narrative, Conflict, and Inequality (Oxford Studies in Anthropological Linguistics, 7)

Автор: Charles Briggs

Размер книги: 15.30 Mb

The Complete Semi-Slav

Автор: Peter Wells

Размер книги: 5.27 Mb

Интегральные преобразования обобщенных функций

Автор: Брычков Ю.А., Автор: Прудников А.П.

Категория: M_Mathematics, MC_Calculus, MCsf_Special functions

Размер книги: 2.15 Mb