1
Programs as Diagrams [E-Book] : From Categorical Computability to Computable Categories /
Subject (ZB): “...Computable functions....”

Full text 
Favorites
Saved in:
2
Algorithms for Constructing Computably Enumerable Sets [E-Book] /
Subject (ZB): “...Computable functions....”

Full text 
Favorites
Saved in:
3
Computability [E-Book] /
Subject (ZB): “...Computable functions....”

Full text 
Favorites
Saved in:
4
Automata Theory and Formal Languages [E-Book] : Fundamental Notions, Theorems, and Techniques /
Subject (ZB): “...Computable functions....”

Full text 
Favorites
Saved in:
5
Reverse Mathematics [E-Book] : Problems, Reductions, and Proofs /
Subject (ZB): “...Computable functions....”

Full text 
Favorites
Saved in:
6
Minimal weak truth table degrees and computably enumerable Turing degrees [E-Book] /
Subject (ZB): “...Computable functions....”

Full text 
Favorites
Saved in:
7
An invitation to applied category theory : seven sketches in compositionality [E-Book] /
Subject (ZB): “...Computable functions....”

Full text 
Favorites
Saved in:
8
Induction, bounding, weak combinatorial principles, and the homogeneous model theorem [E-Book] /
Subject (ZB): “...Computable functions....”

Full text 
Favorites
Saved in:
9
Effective mathematics of the uncountable [E-Book] /
Subject (ZB): “...Computable functions....”

Full text 
Favorites
Saved in:
10
Theory of computation / [E-Book]
Subject (ZB): “...Computable functions....”

Full text 
Favorites
Saved in:
11
Proof and computations [E-Book] /
Subject (ZB): “...Computable functions....”

Full text 
Favorites
Saved in:
12
Computability in context : computation and logic in the real world [E-Book] /
Subject (ZB): “...Computable functions....”

Full text 
Favorites
Saved in:
13
Symbolic computation and education / [E-Book]
Subject (ZB): “...Computable functions Data processing Congresses....”

Full text 
Favorites
Saved in:
14
Computability theory and its applications : current trends and open problems : proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, computability theory and applications, June 13-17, 1999, University of Colorado, Boulder [E-Book] /
Subject (ZB): “...Computable functions -- Congresses....”

Full text 
Favorites
Saved in:
15
Computable structures and the hyperarithmetical hierarchy [E-Book] /
Subject (ZB): “...Computable functions....”

Full text 
Favorites
Saved in:
16
Handbook of computability theory [E-Book] /
Subject (ZB): “...Computable functions....”

Full text 
Favorites
Saved in:
17
Automata and computability [E-Book] /
Subject (ZB): “...Computable functions....”

Full text 
Favorites
Saved in:
18
Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 [E-Book] /
Subject (ZB): “...Computable functions -- Data processing -- Congresses....”

Full text 
Favorites
Saved in:
19
Computability, complexity, logic [E-Book] /
Subject (ZB): “...Computable functions....”

Full text 
Favorites
Saved in:
20
Logic and Computation [E-Book] : Interactive Proof with Cambridge LCF /
Subject (ZB): “...Computable functions -- Data processing....”

Full text 
Favorites
Saved in:

Narrow Search Results