Recursion theory : computational aspects of definability /Author: Chong, C.-T.
Publisher: Berlin ; Walter de Gruyter GmbH,
Date: [2015] This title can be found in 1 Iowa libraries.
Potential wadge classes /Author: Lecomte, Dominique,
Publisher: Providence, Rhode Island : American Mathematical Society,
Date: 2013. This title can be found in 2 Iowa libraries.
Recent advances in real complexity and computation : UIMP-RSME Lluis Santaló Summer School 2012, recent advances in real complexity and computation, July 16-20, 2012, Universidad Internacional Menéndez Pelayo, Santander, Spain /Publisher: Providence, Rhode Island : American Mathematical Society ;
Date: [2013] This title can be found in 3 Iowa libraries.
Computability theory /Author: Weber, Rebecca,
Publisher: Providence, R.I. : American Mathematical Society,
Date: c2012. This title can be found in 2 Iowa libraries.
Computability theory : an introduction to recursion theory /Author: Enderton, Herbert B.
Publisher: Amsterdam ; Academic Press,
Date: c2011. This title can be found in 1 Iowa libraries.
The role of true finiteness in the admissible recursively enumerable degrees /Author: Greenberg, Noam,
Publisher: Providence, R.I. : American Mathematical Society,
Date: 2006. This title can be found in 1 Iowa libraries.
Fundamentals of mathematical logic /Author: Hinman, Peter G.
Publisher: Wellesley, Mass. : A.K. Peters,
Date: c2005. This title can be found in 2 Iowa libraries.
Computability and models : perspectives east and west /Author: Cooper, S. B.
Publisher: New York : Kluwer/Plenum Publishers,
Date: c2003. This title can be found in 1 Iowa libraries.
Aspects of incompleteness /Author: Lindström, Per,
Publisher: Natick, Mass. : A.K. Peters, Natick, Mass. : A.K. Peters,
Date: c2003. This title can be found in 1 Iowa libraries.
Computable economics : the Arne Ryde memorial lectures /Author: Velupillai, Kumaraswamy,
Publisher: New York : New York : Oxford University Press,
Date: 2000. This title can be found in 3 Iowa libraries.
Computable analysis : an introduction /Author: Weihrauch, K.
Publisher: Berlin ; New York : Springer,
Date: 2000. This title can be found in 2 Iowa libraries.
Bounded queries in recursion theory /Author: Gasarch, William I.
Publisher: Boston : Birkauser,
Date: c1999. This title can be found in 2 Iowa libraries.
Recursion theory and complexity : proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997 /Publisher: New York : New York : W. de Gruyter,
Date: 1999. This title can be found in 1 Iowa libraries.
Finitely axiomatizable theories /Author: Pereti͡atʹkin, M. G.
Publisher: New York : Consultants Bureau,
Date: c1997. This title can be found in 1 Iowa libraries.
This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.