Logic colloquium '02: lecture notes in logic 27: lecture notes in logic 27
Chatzidakis, Zoe ́Maria, Koepke, Peter, Pohlers, Wolfram (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.
Abstract: 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
Abstract: 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
版本:
First edition
出版商:
A K Peters/CRC Press
語言:
english
頁數:
370
ISBN 10:
1568813015
ISBN 13:
9781568813011
系列:
Springer Lecture notes in logic 27
文件:
DJVU, 3.57 MB
IPFS:
,
english, 2006