Cargando…

Handbook of mathematical logic /

The handbook is divided into four parts: model theory, set theory, recursion theory and proof theory. Each of the four parts begins with a short guide to the chapters that follow. Each chapter is written for non-specialists in the field in question. Mathematicians will find that this book provides t...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Barwise, Jon, Keisler, H. Jerome
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam ; New York : North-Holland Pub. Co., 1977.
Colección:Studies in logic and the foundations of mathematics ; v. 90.
Temas:
Acceso en línea:Texto completo
Texto completo
Texto completo
Descripción
Sumario:The handbook is divided into four parts: model theory, set theory, recursion theory and proof theory. Each of the four parts begins with a short guide to the chapters that follow. Each chapter is written for non-specialists in the field in question. Mathematicians will find that this book provides them with a unique opportunity to apprise themselves of developments in areas other than their own.
Descripción Física:1 online resource (xi, 1165 pages)
Bibliografía:Includes bibliographical references and index.
ISBN:9780080933641
0080933645
1282169181
9781282169180
9786612169182
6612169184