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 |
---|---|
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 |
Ejemplares similares
-
A mathematical introduction to logic /
por: Enderton, Herbert B.
Publicado: (2001) -
Logic Colloquium 2006 /
Publicado: (2009) -
Proceedings of the Second Scandinavian Logic Symposium
Publicado: (1971) -
Handbook of the logic of argument and inference : the turn towards the practical /
Publicado: (2002) -
Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 /
Publicado: (1982)