 |
|
| HANDBOOK OF RECURSIVE MATHEMATICS
| |
| | |
|
|
 Buy online with a credit card in the Elsevier Science & Technology Bookstore:  http://books.elsevier.com/elsevier/?isbn=0444500030
Edited by
Y.L. Ershov, Sobolev Institute of Mathematics, Novosibirsk, Russia
S.S. Goncharov, Sobolev Institute of Mathematics, Novosibirsk, Russia
A. Nerode, Cornell University, Ithaca, NY, USA
J.B. Remmel, University of California at San Diego, La Jolla, CA, USA
Associate Editor
V.W. Marek, University of Kentucky, Lexington, KY, USA
Description
Recursive Computable Mathematics is the study of the effective or computable content of the techniques and theorems of Mathematics. Recursive
Mathematics has been an active area of research for the last 25 years. Its tools are the techniques of modern Computability Theory. These
tools have been applied to analyze the effective content of results in a wide variety of mathematical fields including Algebra, Analysis,
Topolgy, Combinatorics, Logic, Model Theory, Algebraic Topology, and Mathematical Physics.
This volume consists of surveys and new
results from many of the leading researchers in the field. Almost all the major subfields of Recursive Mathematics are represented in
this volume. There are contributions which analyze the effective content of results from Algebra, Analysis, Combinatorics, Orderings,
Logic, Non-monotonic Logics, Topology and Model Theory.
Volumes
Volume 1: Recursive Model Theory
Volume 2: Recursive Algebra, Analysis and Combinatorics
2 Volume Set
Bibliographic & ordering Information |
Volume 1 - Recursive Model Theory
Hardbound, 664 pages, publication date: DEC-1998
ISBN: 0-444-50003-0
Imprint: NORTH-HOLLAND
|
Price:
USD 147
GBP 86
EUR 129
| 
|
Volume 2 - Recursive Algebra, Analysis and Combinatorics
Hardbound, 798 pages, publication date: DEC-1998
ISBN: 0-444-50106-1
Imprint: NORTH-HOLLAND
|
Price:
EUR 159
GBP 106
USD 159
|
|
2 Volume Set
Hardbound, 1464 pages, publication date: DEC-1998
ISBN: 0-444-50107-X
Imprint: NORTH-HOLLAND
|
Price:
USD 279
GBP 164
EUR 246
|
|
050/500
Last update: 26 Sep 2008
|
|
| |
| | |
|
|
| |
