Provability, Computability and Reflection, Volume 98

Provability, Computability and Reflection, Volume 98

아직 평점이 없습니다
1979 · 영어 · 하드커버
서가에 추가

이 책 평가하기


도서 일지 내보내기

설명

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.

책 세부 정보

형식 하드커버
페이지 486 페이지
언어 영어
출판됨 2월 26, 1979
출판사 Elsevier Science
ISBN-10 0444852077
ISBN-13 9780444852076
서가에 추가

이 책 평가하기


도서 일지 내보내기