Математическая логика

Список источников >Математика >Алгебра >Математическая логика >

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

Автор: Makkai M.
Год: 1993
Издание:

Страниц: [не указано]
ISBN: [не указан]

Добавлено: 2009-08-09 01:26:36

Видео о книгах:

Это интересно...

Наши контакты

Рейтинг@Mail.ru

© 2009-2016, Список Литературы