Provability, Computability and Reflection, Volume 98

Provability, Computability and Reflection, Volume 98

Pas encore d'évaluations
1979 · Anglais · Relié
Ajouter à l'étagère

Évaluer ce livre


Exporter le journal de lecture

Description

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.

Détails du livre

Format Relié
Pages 486 pages
Langue Anglais
Publié févr. 26, 1979
Éditeur Elsevier Science
ISBN-10 0444852077
ISBN-13 9780444852076
Ajouter à l'étagère

Évaluer ce livre


Exporter le journal de lecture