籌款 9月15日 2024 – 10月1日 2024 關於籌款

Logic Colloquium '02 : proceedings of the Annual European...

Logic Colloquium '02 : proceedings of the Annual European Summer Meeting of Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002

Zoé Chatzidakis, Peter Koepke, Wolfram Pohlers (eds.)
你有多喜歡這本書?
文件的質量如何?
下載本書進行質量評估
下載文件的質量如何?
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
類別:
年:
2006
出版商:
A K Peters/CRC Press;A.K.Peters
語言:
english
頁數:
370
ISBN 10:
1568813015
ISBN 13:
9781568813011
系列:
Lecture notes in logic. Association for Symbolic Logic (USA) ; 27
文件:
DJVU, 3.57 MB
IPFS:
CID , CID Blake2b
english, 2006
線上閱讀
轉換進行中
轉換為 失敗

最常見的術語