subjectheading:[Computable functions.] - Search Results - University of Southern Indiana

login

Home > Search Results: subjectheading:[Computable functions.]

Search:

Search Tips :: Advanced Search :: Browse Resources (beta)

Sort by

ascending
descending

Display

Collections

Select collection

Format

Select output format

1.	An invitation to analytic combinatorics in several variables : from one to several variables / Stephen Melczer. Melczer, Stephen, author. Cham : Springer, [2021] QA164 \| View e-resource \| Available Online \| Detailed record - Similar records
2.	Interdisciplinary explorations of the study of play / Edited by Elena Xeni and John Hildebrand. Xeni, Elena, editor.; Hildebrand, John, editor. Oxford, England : Inter-Disciplinary Press, [2016] ©2016 QA9.59 .I584 2016 \| View e-resource \| Available Online \| Detailed record - Similar records
3.	Induction, bounding, weak combinatorial principles, and the homogeneous model theorem / Denis R. Hirschfeldt, Karen Lange, Richard A. Shore. Hirschfeldt, Denis Roman, author.; Lange, Karen, 1980- author.; Shore, Richard A., 1[...] Providence, Rhode Island : American Mathematical Society, 2017. ©2017 QA9.25 .H577 2017 \| View e-resource \| Available Online \| Detailed record - Similar records
4.	Automata and computability / Dexter C. Kozen. Kozen, Dexter, 1951- author. New York : Springer, 1997. QA267 .K69 1997 \| View e-resource \| Available Online \| Detailed record - Similar records
5.	An introduction to the technique of formative processes in set theory / Domenico Cantone, Pietro Ursino. Cantone, Domenico, author.; Ursino, Pietro, author. Cham, Switzerland : Springer, 2018. QA248 \| View e-resource \| Available Online \| Detailed record - Similar records
6.	Turing computability [electronic resource] : theory and applications / Robert I. Soare. Soare, R. I. (Robert Irving), 1940- author. Berlin : Springer, 2016. QA9.59 \| View e-resource \| Available Online \| Detailed record - Similar records
7.	Theory of computation [electronic resource] / George Tourlakis. Tourlakis, George J. Hoboken, N.J. : Wiley, 2012. QA9.59 .T684 2012eb \| View e-resource \| Available Online \| Detailed record - Similar records
8.	Computability and logic [electronic resource]. Boolos, George.; Burgess, John P., 1948-; Jeffrey, Richard C. Cambridge ; New York : Cambridge University Press, 2002. QA9.59 .B66 2002eb \| View e-resource \| Available Online \| Detailed record - Similar records
9.	Computability & unsolvability. Davis, Martin, 1928- New York, McGraw-Hill, 1958. QA248.5 .D3 \| Map It \| Detailed record - Similar records
10.	Computability / George Tourlakis. Tourlakis, George J. Cham : Springer, 2022. QA9.59 \| View e-resource \| Available Online \| Detailed record - Similar records

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.