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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Burlington :
Elsevier,
1989.
|
| Colección: | Studies in logic and the foundations of mathematics.
|
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- Front Cover; Handbook of Mathematical Logic; Contributors; Copyright Page; Part A: Model Theory; Foreword; Table of Contents; Part B: Set Theory; Part C: Recursion Theory; Part D: Proof Theory And Constructive Mathematics Guide To Part D; Author Index; Subject Index.