Algebraic Computability and Enumeration Models: Recursion Theory and
95,73 €
Further applications to computing with ultrafilters on sets and Turing degree computability are examined. Functorial models computability is presented with algebraic trees realizing intuitionistic types of models.
Jetzt bei Ebay: