Vollständige Systeme modaler und intuitionistischer Logik.

Збережено в:
Бібліографічні деталі
Автор: Schuette, Kurt
Формат: Книга
Мова:Німецька
Опубліковано: Berlin, Heidelberg, New York Springer 1968
Серія:Ergebnisse der Mathematik und ihrer Grenzgebiete Bd 42
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Order eBook:
Order Book: Login to order
Search Result 1

Proof Theory ("Beweistheorie"[Engl.]) за авторством Schuette, Kurt

Опубліковано 1977
Книга
Search Result 2

Beweistheorie за авторством Schuette, Kurt

Опубліковано 1960
Книга