Algebraische Berechenbarkeits- und Aufzählungsmodelle: Rekursionstheorie und
155,88 €
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: