Computability and Models - 9780306474002
Un libro in lingua di Cooper S. Barry Goncharov Sergey S. edito da Kluwer Academic Pub, 2003
- € 137.80
- Il prezzo è variabile in funzione del cambio della valuta d’origine
Exploring a field sometimes known as "recursive model theory," in which researchers from the former Soviet Union have been prominent, Cooper (U. of Leeds, UK) and Goncharov (Novosibirsk State U., Russia) present 13 papers that were solicited as accessible surveys of their research into the relationship between formal theory descriptions and the algorithmic content of the models of those theories. Some specific topics include isomorphism types and theories of Rogers semi-lattices of arithmetical numbers, computability over topological structures, and primitive recursive permutations. Annotation (c) Book News, Inc., Portland, OR (booknews.com)
Informazioni bibliografiche
- Titolo del Libro in lingua: Computability and Models
- Sottotitolo: Perspectives East and West
- Lingua: English
- Autori : Cooper S. Barry Goncharov Sergey S.
- Editore: Kluwer Academic Pub
- Collana: Kluwer Academic Pub (Hardcover)
- Data di Pubblicazione: 01 Febbraio '03
- Genere: MATHEMATICS
- Argomento: Recursion theory
- Pagine: 375
- Dimensioni mm: 228 x 152 x 31
- EAN-13: 9780306474002