A Calculus of Circular Proofs and Its Categorical Semantics

Вы здесь

Автор:

Santocanale L.

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

Вид:

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

Год:

2002

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

логика

семантика

Стр.:

P.357-371

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

Bibliogr.: p.370-371

Издательство:

Springer

Источник:

Lecture Notes in Computer Science

Том:

2303

Карточка:

Б2.13.

Santocanale L..

A Calculus of Circular Proofs and Its Categorical Semantics: Springer// Lecture Notes in Computer Science-2002.-Vol. 2303.-P.357-371
Bibliogr.: p.370-371

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

PAP24 824