The Basic Intuitionistic Logic of Proofs

Sergei Artemov and Rosalie Iemhoff

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

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

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

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

Том:

Мова:

english

Журнал:

The Journal of Symbolic Logic

DOI:

10.2307/27588550

Date:

June, 2007

Файл:

PDF, 993 KB

english, 2007

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

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