2 402 202 книги
без регистрации
бесплатно
Мобильная версия
Книги
Категории и жанры
Лучшие книги
Добавить книгу
Библиотека
Помощь
Мобильная версия
Плагин
Контакты
Как помочь?
Спонсорам и инвесторам
API
Booksee
.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Games, Logic, and Constructive Sets (Center for the Study of Language and Information - Lecture Notes)
Grigori Mints
,
Reinhard Muskens
Категория:
Языкознание
617 Kb
#2
Games, Logic, and Constructive Sets (Center for the Study of Language and Information - Lecture Notes)
Grigori Mints
,
Reinhard Muskens
Категория:
Языкознание
913 Kb
#3
A Short Introduction to Intuitionistic Logic (University Series in Mathematics)
Grigori Mints
Категория:
Математика
2.52 Mb
#4
A Short Introduction to Intuitionistic Logic (The University Series in Mathematics)
Grigori Mints
2.52 Mb
#5
Short Introduction to Intuitionistic Logic
Grigori Mints
13.84 Mb
#6
Logic colloquium '96: Proc. San Sebastian
Jesus M. Larrazabal
,
Daniel Lascar
,
Grigori Mints
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
1.97 Mb
#7
A Short Introduction to Intuitionistic Logic
Grigori Mints
10.63 Mb
#8
Games, logic, and constructive sets
Grigori Mints
,
Reinhard Muskens
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
861 Kb