Descripción
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.
Detalles del libro
Formato
Tapa blanda
Páginas
370 páginas
Idioma
Inglés
Publicado
Jul 15, 2006
Editorial
A K Peters/CRC Press
Ediciones
2 ediciones
ISBN-10
1568813015
ISBN-13
9781568813011