Provability, Computability and Reflection, Volume 98

Provability, Computability and Reflection, Volume 98

No ratings yet
1979 · English · Hardcover
Add To Shelf

Rate this book


Export Book Journal

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.

Book Details

Format Hardcover
Pages 486 pages
Language English
Published Feb 26, 1979
Publisher Elsevier Science
ISBN-10 0444852077
ISBN-13 9780444852076
Add To Shelf

Rate this book


Export Book Journal