Formulas-as-types for a Hierarchy of Sublogics of Intuitionistic Propositional Logic

Вы здесь

Автор:

Wansing H.

Количество экземпляров:

Вид:

Статья из сборника или журнала

Год:

1992

Ключевые слова:

логика

интуиционистский

пропозициональные логики

подсистема

Стр.:

P.125-145.

Библиография:

Bibliogr.: p.144-145.

Источник:

Lecture Notes in Artificial Intelligence

Том:

619

Карточка:

Б2.13, Б2.14.

Wansing H..

Formulas-as-types for a Hierarchy of Sublogics of Intuitionistic Propositional Logic// Lecture Notes in Artificial Intelligence-1992.-Vol. 619.-P.125-145.
Bibliogr.: p.144-145.

Таблица в старой библиотеке:

PAP4 72