Proof Theory and Logical Complexity

Monogr. : Vol.1-

Jean-Yves Girard

ЦБ в 19827

Издателство

Bibliopolis

Местоиздаване

Napoli

Година на издаване

1987 -

Класификационен индекс

УДК	Значение
51	Математика. /П, Ч, Д, С, Из, Кр/

Ключови думи

математика

Томове

Том	Заглавие	Година на издаване	Страници	Забележка
Vol. 1.	ISBN: 88-7088-123-7	1987	503

ISBN

88-7088-123-7

Отрасъл

Математ. науки. ЕИМ

Системен №

52156

Допълнителна сигнатура

G48

Инвентаризация

Статус	Брой
Централна библиотека-хранилище (ЦБ)	1

Girard, J. Proof Theory and Logical Complexity, Bibliopolis, 1987 -, 88-7088-123-7.

Girard, J. . Proof Theory and Logical Complexity. Napoli: Bibliopolis, 1987 -, 88-7088-123-7.

Girard, J. (1987 -) Proof Theory and Logical Complexity, Napoli: Bibliopolis, 88-7088-123-7

Girard, J. (1987 -). Proof Theory and Logical Complexity. Monogr. : Vol.1-. Napoli: Bibliopolis,