説明
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