Loading…
Handbook of recursive mathematics /
| Call Number: | Libro Electrónico |
|---|---|
| Other Authors: | |
| Format: | Electronic eBook |
| Language: | Inglés |
| Published: |
Amsterdam ; New York :
Elsevier,
1998.
|
| Series: | Studies in logic and the foundations of mathematics ;
v. 138-139. |
| Subjects: | |
| Online Access: | Texto completo Texto completo Texto completo |
Table of Contents:
- & Pgr;<SUP>0</SUP><INF>1</INF> classes in mathematics (D. Cenzer, J.B. Remmel). Computability theory and linear orderings (R.G. Downey). Computable algebras and closure systems: coding properties (R.G. Downey, J.B. Remmel). A survey of recursive combinatorics (W. Gasarch). Constructive abelian groups (N.G. Khisamiev). Recursive and on-line graph coloring (H.A. Kierstead). Polynominal-time computability in analysis (K. Ko). Generally constructive Boolean algebras (S.P. Odintsov). Reverse algebra (S.G. Simpson, J. Rao).
- v. 1. Recursive model theory
- v. 2. Recursive algebra, analysis and combinatorics.