Provability, Computability and Reflection, Volume 98

Provability, Computability and Reflection, Volume 98

Ancora nessuna valutazione
1979 · Inglese · Copertina rigida
Aggiungi allo scaffale

Valuta questo libro


Esporta diario dei libri

Descrizione

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.

Dettagli del libro

Formato Copertina rigida
Pagine 486 pagine
Lingua Inglese
Pubblicato feb 26, 1979
Editore Elsevier Science
ISBN-10 0444852077
ISBN-13 9780444852076
Aggiungi allo scaffale

Valuta questo libro


Esporta diario dei libri