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...
Cote: | Libro Electrónico |
---|---|
Autres auteurs: | Barwise, Jon, Keisler, H. Jerome |
Format: | Électronique eBook |
Langue: | Inglés |
Publié: |
Amsterdam ; New York :
North-Holland Pub. Co.,
1977.
|
Collection: | Studies in logic and the foundations of mathematics ;
v. 90. |
Sujets: | |
Accès en ligne: | Texto completo Texto completo Texto completo |
Documents similaires
-
A mathematical introduction to logic /
par: Enderton, Herbert B.
Publié: (2001) -
Logic Colloquium 2006 /
Publié: (2009) -
Proceedings of the Second Scandinavian Logic Symposium
Publié: (1971) -
Handbook of the logic of argument and inference : the turn towards the practical /
Publié: (2002) -
Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 /
Publié: (1982)