Gå direkt till innehållet
  1. Böcker
  2. Böcker på engelska

Definability and Computability

Författare:
Inbunden, 1996
engelska
2 734 kr
Lägsta pris på PriceRunner

Ershov posits the view that computability-in the broadest sense-can be regarded as the Sigma-definability in the suitable sets. The volume also includes a novel exposition on the foundations of the theory of admissible sets with urelements, using the Gandy theorem throughout the theory's development.

Författare
Ershov Yuri L.
ISBN
9780306110399
Språk
engelska
Vikt
518 gram
Utgivningsdatum
1996-04-30
Sidor
264