Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

W. Buchholz , S. Feferman , W. Pohlers
아직 평점이 없습니다
Dec 1, 1981 · 영어 · 페이퍼백 (392 페이지)
서가에 추가

이 책 평가하기

도서 일지 내보내기

책 세부 정보

형식 페이퍼백
페이지 392
언어 영어
출판됨 Dec 1, 1981
출판사 Springer
ISBN-10 3540111700
ISBN-13 9783540111702

설명

Used - Like New
서가에 추가

이 책 평가하기

도서 일지 내보내기