설명
This edited collection bridges the foundations and practice of constructive mathematics and focusses on the contrast between the theoretical developments, which have been most useful for computer science (eg constructive set and type theories), and more s
책 세부 정보
형식
전자책
페이지
350 페이지
언어
영어
출판됨
1월 10, 2010
출판사
Oxford University Press, USA
판본
판본 3개
ISBN-10
1280754036
ISBN-13
9781280754036