Proofs and computations /

Библиографические подробности
Главные авторы: Schwichtenberg, Helmut, Wainer, S. S. (Автор)
Соавтор: Association for Symbolic Logic
Формат: Printed Book
Язык:English
Опубликовано: Ithaca, NY : Cambridge ; New York : Association for Symbolic Logic ; Cambridge University Press, 2012.
Серии:Perspectives in logic.
Предметы:
Computable functions.
Proof theory.
Online-ссылка:Table of contents only
Contributor biographical information
Publisher description

Internet

Table of contents only
Contributor biographical information
Publisher description

University of Calicut

Подробно о фондах из University of Calicut
Шифр: 511.352
Копировать Недоступно состояние Live" What does mean the status Live (working)

Схожие документы