Loading…

Handbook of recursive mathematics /

Bibliographic Details
Call Number:Libro Electrónico
Other Authors: Ershov, �I�Uri�i Leonidovich
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.