Ebook: Logic colloquium '02: lecture notes in logic 27: lecture notes in logic 27
- Genre: Mathematics // Logic
- Tags: Logic Symbolic and mathematical -- Congresses., Logic Symbolic and mathematical.
- Series: Springer Lecture notes in logic 27
- Year: 2006
- Publisher: A K Peters/CRC Press
- Edition: First edition
- Language: English
- djvu
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