Billede af bogens forside - General Recursion Theory

General Recursion Theory

An Axiomatic Approach

af Jens E. (Universitetet i Oslo) Fenstad

Bog, Hardback, Engelsk, 2017

This volume presents a unified and coherent account of general recursion theory. The main core of the book gives an account of the general theory of computations, then the author moves on to show how computation theories connect and unify other parts of recursion theory.

Priser fra 4 boghandlere

Bogdetaljer

  • SprogEngelsk
  • IndbindingHardback
  • ISBN9781107168169
  • Udgivet2/03/2017
  • Udgivet afCambridge University Press
  • Længde237 sider
  • ForfatterJens E. (Universitetet i Oslo) Fenstad
  • GenreBusiness og læring