Topaicí Molta laistigh de do chuardach.
Topaicí Molta laistigh de do chuardach.
Recursion theory
6
Computable functions
3
Model theory
2
Algorithms
1
Categories (Mathematics)
1
Computational complexity
1
Fixed point theory
1
Intuitionistic mathematics
1
Invariants
1
Logic, Symbolic and mathematical
1
Loops (Group theory)
1
Machine theory
1
Set theory
1
Study and teaching
1
Study and teaching, Invariants, Algorithms, Loops (Group theory), Recursion theory
1
-
1
-
2
-
3
-
4
-
5
-
6Ábhair: “...Recursion theory Computable functions 661...”
Printed Book -
7
-
8
-
9
-
10le Edmonds, JeffÁbhair: “...Algorithms Loops (Group theory) Invariants Recursion theory...”
Foilsithe 2008
Printed Book -
11le Causey, Robert L.Ábhair: “...Logic, symbolic and mathematical Calculus Set theory Recursion theory...”
Foilsithe 2010
Printed Book -
12le Kleene, Stephen ColeÁbhair: “...Recursion theory Congresses. 4328...”
Foilsithe 1980
Printed Book -
13le Jeff EdmondsÁbhair: “...Study and teaching, Invariants, Algorithms, Loops (Group theory), Recursion theory...”
Foilsithe 2008
Printed Book -
14Foilsithe 1977Ábhair: “...Recursion theory Congresses. 4328...”
Printed Book -
15le Edmonds, Jeff, 1963-Ábhair: “...Recursion theory Study and teaching....”
Foilsithe 2008
Faigh an téacs iomlán
Faigh an téacs iomlán
Contributor biographical information
Printed Book -
16Clár Ábhair: “... David Hamkins -- Computable structure theory using admissible recursion theory on [omega]1 using...”
Printed Book -
17Foilsithe 2013Clár Ábhair: “... David Hamkins -- Computable structure theory using admissible recursion theory on [omega]1 using...”
Printed Book