libcats.org
Главная

Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli

Обложка книги Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli

Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli

Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги: