- 2 402 202 книги
- Поиск
libcats.org
Goedel '96: Proc. Brno 1996
Petr HajekThe papers included in this proceedings volume of the conference celebrating the 90th anniversary of the birth of Kurt Goedel, are concerned with mathematical logic, philosophy of mathematics, and computer science. The topics are related to Goedel's work and reflect his influence in the field.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, сад
Автор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)
Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555
Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Момент истины (В августе сорок четвертого...)
Автор: Богомолов Владимир ОсиповичКатегория: О войне
Размер книги: 1.83 Mb
Только что пользователи скачали эти книги:
Задачи на составление уравнений
Автор: Александров Б.И., Автор: Лурье М.В.Категория: Mathematics, School-level
Размер книги: 1.37 Mb
Morphology at the Interfaces: Reduplication and Noun Incorporation in Uto-Aztecan (Linguistik Aktuell Linguistics Today)
Автор: Jason D. HaugenКатегория: Языкознание, Лингвистика
Размер книги: 1.46 Mb
Oil Mist Lubrication: Practical Applications
Автор: Heinz P. Bloch, Автор: Abdus ShamimКатегория: Математика, Прикладная математика
Размер книги: 13.98 Mb
Slavery in North Carolina, 1748-1775
Автор: Marvin L. Michael Kay, Автор: Lorin Lee Cary
Размер книги: 1.19 Mb
Drive: The Surprising Truth About What Motivates Us
Автор: Pink Daniel HКатегория: fiction
Размер книги: 179 Kb