Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

     
Available items only
Add Marked to Bag Add All On Page
Subjects (1-11 of 11)
Computable Functions
1
Electronic Book
 

Automata and computability


Kozen, Dexter, 1951- author.
New York : Springer, 1997. 1997

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
2
Electronic Book
 

Computability in context computation and logic in the real world



London : Imperial College Press ; Singapore ; Hackensack, N.J. : World Scientific Pub. Co., 2011. 2011

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
3
Electronic Book
 

Computable structures and the hyperarithmetical hierarchy


Ash, C. J.
Amsterdam ; New York : Elsevier, 2000. 2000

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Elsevier ScienceDirect Ebook  Electronic Book    ---  Available
4
Electronic Book
 

Effective mathematics of the uncountable



Cambridge, United Kingdom : Cambridge University Press, 2013. 2013

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
5
Electronic Book
 

Handbook of computability theory



Amsterdam ; New York : Elsevier, 1999. 1999

Rating:

Copies

Location Call No. OPAC Message Status
 Axe Elsevier ScienceDirect Ebook  Electronic Book    ---  Available
6
Electronic Book
 

Induction, bounding, weak combinatorial principles, and the homogeneous model theorem


Hirschfeldt, Denis Roman, author.
Providence, Rhode Island : American Mathematical Society, 2017. 2017

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
7
Electronic Book
 

Interdisciplinary explorations of the study of play



Oxford, England : Inter-Disciplinary Press, [2016] 2016

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
8
Electronic Book
 

Minimal weak truth table degrees and computably enumerable Turing degrees


Downey, R. G. (Rod G.), author.
Providence, Rhode Island : American Mathematical Society, 2020. 2020

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
9
Electronic Book
 

Proof and computations


Schwichtenberg, Helmut, 1942-
Cambridge : Cambridge University Press, 2012. 2012

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
10
Electronic Book
 

Theory of computation


Tourlakis, George J.
Hoboken, N.J. : Wiley, 2012. 2012

Rating:

Copies

Location Call No. OPAC Message Status
 Axe ProQuest E-Book  Electronic Book    ---  Available
11
Print Material
 

Theory of recursive functions and effective computability.


Rogers, H. (Hartley), 1926-
New York, McGraw-Hill [1967] 1967

Rating:

 

Copies

Location Call No. OPAC Message Status
 Axe 2nd Floor Stacks  517.5 R632t    ---  Available
Add Marked to Bag Add All On Page
Locate in results
 
    
Available items only