Ways of proof theory

Збережено в:
Бібліографічні деталі
Автор: Schindler, Ralf
Співавтор: ebrary, Inc
Формат: Електронний ресурс eКнига
Мова:Англійська
Опубліковано: Frankfurt ; New Brunswick : Ontos Verlag, 2010.
Серія:Ontos mathematical logic ; v. 2
Предмети:
Онлайн доступ:An electronic book accessible through the World Wide Web; click to view
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!