Cut-free Gentzen calculus for multimodal

Michael Mendler, Stephan Scheele

Наскільки Вам сподобалась ця книга?

Яка якість завантаженого файлу?

Скачайте книгу, щоб оцінити її якість

Яка якість скачаних файлів?

Том:

209

Рік:

2011

Мова:

english

Сторінки:

DOI:

10.1016/j.ic.2011.10.003

Файл:

PDF, 374 KB

english, 2011

Виконується конвертація в

Конвертація в не вдалась