설명
Logic Colloquium '02 includes articles from some of the world's preeminent logicians. The topics span all areas of mathematical logic, but with an emphasis on Computability Theory and Proof Theory. This book will be of interest to graduate students and researchers in the field of mathematical logic.
책 세부 정보
형식
페이퍼백
페이지
370 페이지
언어
영어
출판됨
Jul 15, 2006
출판사
A K Peters/CRC Press
판본
판본 2개
ISBN-10
1568813015
ISBN-13
9781568813011