- 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
Genki 1: An Integrated Course in Elementary Japanese 1
Автор: Eri Banno, Автор: Yutaka Ohno, Автор: Yoko Sakane, Автор: Chikako Shinagawa, Автор:
Размер книги: 172.22 Mb
Только что пользователи скачали эти книги:
Универсальная энциклопедия лекарственных растений
Автор: И. Путырский, Автор: В. Прохоров
Размер книги: 8.32 Mb
Управленческий учет. Учебное пособие
Автор: под ред. А. Д. ШереметаКатегория: Управление персоналом
Размер книги: 5.04 Mb
Реферирование и аннотирование текстов по специальности (на материале немецкого языка): Учебное пособие
Автор: Фролова Н.А.Категория: Иностранный язык
Размер книги: 848 Kb
Culture of Coldwater Marine Fish
Автор: Erlend Moksness, Автор: E. Kjorsvik, Автор: Y. Olsen
Размер книги: 4.19 Mb
