Provability, Computability and Reflection, Volume 98

Provability, Computability and Reflection, Volume 98

Оценок пока нет
1979 · Английский · Твердый переплет
Добавить на полку

Оценить эту книгу


Экспортировать журнал книг

Описание

A classic exposition of a branch of mathematical logic that uses category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers.

Детали книги

Формат Твердый переплет
Страницы 486 страниц
Язык Английский
Опубликовано фев 26, 1979
Издатель Elsevier Science
ISBN-10 0444852077
ISBN-13 9780444852076
Добавить на полку

Оценить эту книгу


Экспортировать журнал книг