Provability, Computability and Reflection, Volume 98

Provability, Computability and Reflection, Volume 98

Aún sin calificaciones
1979 · Inglés · Tapa dura
Añadir a la estantería

Califica este libro


Exportar diario de lectura

Descripción

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.

Detalles del libro

Formato Tapa dura
Páginas 486 páginas
Idioma Inglés
Publicado feb. 26, 1979
Editorial Elsevier Science
ISBN-10 0444852077
ISBN-13 9780444852076
Añadir a la estantería

Califica este libro


Exportar diario de lectura