Provability, Computability and Reflection, Volume 98
Noch keine Bewertungen
1979
·
Englisch
·
Gebundene Ausgabe
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.
Format
Gebundene Ausgabe
Seiten
486 Seiten
Sprache
Englisch
Veröffentlicht
Feb 26, 1979
Verlag
Elsevier Science
ISBN-10
0444852077
ISBN-13
9780444852076