Provability, Computability and Reflection, Volume 98

Provability, Computability and Reflection, Volume 98

Inga betyg ännu
1979 · Engelska · Inbunden
Lägg till på hyllan

Betygsätt denna bok


Exportera bokjournal

Beskrivning

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.

Bokdetaljer

Format Inbunden
Sidor 486 sidor
Språk Engelska
Publicerad feb 26, 1979
Förlag Elsevier Science
ISBN-10 0444852077
ISBN-13 9780444852076
Lägg till på hyllan

Betygsätt denna bok


Exportera bokjournal