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