1
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... Reverse Mathematics -- Input-Dependence in Function-Learning -- Some Notes on Degree Spectra...

2
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... -- Proof Mining in Functional Analysis -- Towards Computability of Higher Type Continuous Data -- The Power...

3
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... in Membrane Computing -- The General Purpose Analog Computer and Computable Analysis are Two Equivalent...