Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-50 of 93 results
General recursion theory : an axiomatic approach / Jens E. Fenstad.
- Text
- Berlin ; New York : Springer-Verlag, 1980.
- 1979
- 1 Item
Item details Format Call Number Item Location Text JSE 81-755 Offsite Generalized recursion theory II : proceedings of the 1977 Oslo symposium / edited by J. E. Fenstad, R. O. Gandy, G. E. Sacks.
- Text
- Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributors for the U. S.A. and Canada, Elsevier North-Holland, 1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text JSE 79-1171 Offsite Set theory and hierarchy theory V : Bierutowice, Poland, 1976 / edited by A. Lachlan, M. Srebrny, and A. Zarach.
- Text
- Berlin ; New York : Springer-Verlag, 1977.
- 1977
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 v. 617-620 Offsite Rekursionstheorie : vierstündige Vorlesung / von J. Diller.
- Text
- Münster i. W. : Westfälische Wilhelms-Universität, Institut für mathematische Logik und Grundlagenforschung, 1976.
- 1976
- 1 Item
Item details Format Call Number Item Location Text JSD 80-329 Offsite Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977 / edited by Marek Karpiński.
- Text
- Berlin ; New York : Springer-Verlag, 1977.
- 1977
- 1 Item
Item details Format Call Number Item Location Text JSE 81-35 Offsite Computability, an introduction to recursive function theory / Nigel Cutland.
- Text
- Cambridge [Eng.] ; New York : Cambridge University Press, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text JSE 81-296 Offsite Recursion on the countable functionals / Dag Normann.
- Text
- Berlin ; New York : Springer-Verlag, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 v. 810-812 Offsite Regressive sets and the theory of isols / Thomas G. McLaughlin.
- Text
- New York : M. Dekker, c1982.
- 1982
- 1 Item
Item details Format Call Number Item Location Text JSF 82-677 Offsite Calvin C. Elgot selected papers / edited by Stephen L. Bloom ; with a foreword by Dana S. Scott and "A glimpse back" by Samuel Eilenberg.
- Text
- New York ; Heidelberg : Springer-Verlag, c1982.
- 1982
- 1 Item
Item details Format Call Number Item Location Text JSE 83-445 Offsite Cabal Seminar 77-79 : proceedings, Caltech-UCLA logic seminar 1977-79 / edited by A.S. Kechris, D.A. Martin, and Y.N. Moschovakis.
- Text
- Berlin ; New York : Springer-Verlag, 1981.
- 1981
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 v. 839-841 Offsite Techniques of admissible recursion theory / Chi-Tat Chong.
- Text
- Berlin ; New York : Springer-Verlag, 1984.
- 1984
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 v. 1104-1106 Offsite Recursion via Pascal / J.S. Rohl.
- Text
- Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1984.
- 1984
- 1 Item
Item details Format Call Number Item Location Text JSE 85-2059 Offsite The Recursion method and its applications : proceedings of the conference, Imperial College, London, England, September 13-14, 1984 / editors, D.G. Pettifor and D.L. Weaire.
- Text
- Berlin ; New York : Springer-Verlag, c1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text JSE 85-993 Offsite Recursion theory week : proceedings of a conference held in Oberwolfach, West Germany, April 15-21, 1984 / edited by H.-D. Ebbinghaus, G.H. Müller, and G.E. Sacks.
- Text
- Berlin ; New York : Springer-Verlag, c1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 v. 1140-1141 Offsite Thinking recursively / Eric Roberts.
- Text
- New York : J. Wiley, c1986.
- 1986
- 1 Item
Item details Format Call Number Item Location Text JSE 87-1579 Offsite Not available - Please for assistance.Recursion theory and computational complexity : i ciclo 1979 Casa della gioventù universitaria Bressanone, 14-23-giugno 1979 / coordinatore, Gabriele Lolli.
- Text
- Napoli : Liguori editore, c1981.
- 1981
- 1 Item
Item details Format Call Number Item Location Text JSE 86-1435 Offsite Algorithm design : a recursion transformation framework / Marvin C. Paull.
- Text
- New York : Wiley, c1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text JSE 88-3471 Offsite On the structure of the polynomial time degrees of recursive sets (Habilitationsschrift) / K. Ambos-Spies.
- Text
- Dortmund : Abteilung Informatik, Universität Dortmund, 1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text JSG 89-139 Offsite Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi.
- Text
- Amsterdam ; New York : North-Holland ; New York, N.Y., USA : Sole distributors for the USA and Canada, Elsevier Science Pub. Co., 1989-1999.
- 1989-1999
- 2 Items
Item details Format Call Number Item Location Text JSL 00-33 v. 2 Offsite Item details Format Call Number Item Location Text JSL 00-33 [v. 1] Offsite Cabal Seminar 81-85 : proceedings, Caltech-UCLA Logic Seminar 1981-85 / A.S. Kechris, D.A. Martin, J.R. Steel, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 v. 1330-1333 Offsite Subrecursion : functions and hierarchies / H.E. Rose.
- Text
- Oxford : Clarendon Press ; New York : Oxford University Press, 1984.
- 1984
- 1 Item
Item details Format Call Number Item Location Text JSE 90-1886 Offsite Recursion Theory Week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989 / K. Ambos-Spies, G.H. Müller, G.E. Sacks (eds.).
- Text
- Berlin : New York : Springer-Verlag, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text JSF 90-845 Offsite Higher recursion theory / Gerald E. Sacks.
- Text
- Berlin ; New York : Springer-Verlag, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text JSE 91-214 Offsite Computability in combinatory spaces : an algebraic generalization of abstract first order computability / by Dimiter G. Skordev.
- Text
- Dordrecht ; Boston : Kluwer Academic Publishers, c1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text JSE 92-790 Offsite Recursion theory for metamathematics / Raymond M. Smullyan.
- Text
- New York : Oxford University Press, 1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSE 93-542 Offsite Diagonalization and self-reference / Raymond M. Smullyan.
- Text
- Oxford ; New York : Clarendon Press, 1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSE 95-236 Offsite The recursion method : application to many-body dynamics / V.S. Viswanath, Gerhard Müller.
- Text
- Berlin ; New York : Springer-Verlag, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSE 94-2076 Offsite Complexity, logic, and recursion theory / edited by Andrea Sorbi.
- Text
- New York : Marcel Dekker, c1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text JSF 97-105 Offsite Recursive analysis.
- Text
- Amsterdam, North-Holland Pub. Co., 1961.
- 1961
- 1 Item
Item details Format Call Number Item Location Text OIN (Goodstein, R. L. Recursive analysis) 1961 Offsite Transtheoretic foundations of mathematics : (general summary of results). Series I, Natural numbers / H.A. Pogorzelski and W.J. Ryan.
- Text
- Orono, Me. : Research Institute for Mathematics, c1997-
- 1997-present
- 3 Items
Item details Format Call Number Item Location Text JSL 99-31 ser. 2:v. 2 Offsite Item details Format Call Number Item Location Text JSL 99-31 v. 1A-1B Offsite Item details Format Call Number Item Location Text JSL 99-31 v. 1C Offsite Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer.
- Text
- Cambridge [England] ; New York : Cambridge University Press, 1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text JSE 99-723 Offsite Bounded queries in recursion theory / William I. Gasarch, Georgia A. Martin.
- Text
- Boston : Birkauser, c1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text JSE 99-1012 Offsite Handbook of recursive mathematics / edited by Yu. L. Ershov ... [et al.] ; associate editor, V.M. Marek.
- Text
- Amsterdam ; New York : Elsevier, 1998.
- 1998
- 2 Items
Item details Format Call Number Item Location Text JSE 00-1596 v. 1 (Recursive Model Theory) Offsite Item details Format Call Number Item Location Text JSE 00-1596 v. 2 (Recursive Algebra, Analysis and. . . .) Offsite Undecidability in macroeconomics [microform] : preliminary draft / Siddharth Chandra, Tushar Deepak Chandra.
- Text
- Ithaca, NY : Dept. of Computer Science, Cornell University ; [Washington, DC : National Aeronautics and Space Administration, 1993]
- 1993
Computability and models : perspectives east and west / S. Barry Cooper, Sergey S. Goncharov.
- Text
- New York ; London : Kluwer Academic/Plenum Publishers, c2003.
- 2003
- 1 Item
Item details Format Call Number Item Location Text JSE 03-431 Offsite Recursion Theory Week : proceedings of a conference held in Oberwolfach, FRG, March 19-25, 1989 / K. Ambos-Spies, G.H. Müller, G.E. Sacks (eds.).
- Text
- Berlin : New York : Springer-Verlag, c1990.
- 1990
Recursion on the countable functionals / Dag Normann.
- Text
- Berlin ; New York : Springer-Verlag, 1980.
- 1980
General recursion theory : an axiomatic approach / Jens E. Fenstad.
- Text
- Berlin ; New York : Springer-Verlag, 1980.
- 1979
Cabal Seminar 79-81 : proceedings, Caltech-UCLA Logic Seminar 1979-81 / edited by A.S. Kechris, D.A. Martin, and Y.N. Moschovakis.
- Text
- Berlin ; New York : Springer-Verlag, 1983.
- 1983
Computable economics [electronic resource] : the Arne Ryde memorial lectures / Kumaraswamy Velupillai.
- Text
- Oxford ; New York : Oxford University Press, 2000.
- 2000
- 2 Resources
Available Online
See All Available Online Resources
Recursion [electronic resource] : a computational investigation into the representation and processing of language / David J. Lobina.
- Text
- New York, N.Y. : Oxford University Press, 2017.
- 2017
- 2 Resources
Available Online
See All Available Online Resources
Computability in combinatory spaces : an algebraic generalization of abstract first order computability / by Dimiter G. Skordev.
- Text
- Dordrecht ; Boston : Kluwer Academic Publishers, [1992], ©1992.
- 1992-1992
- 1 Item
Item details Format Call Number Item Location Text QA9.6 .S558 1992 Off-site Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules / Wim H. Hesselink.
- Text
- Cambridge, [England] : Cambridge University Press, 1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text QA76.9.M35 H477 1992g Off-site First-order dynamic logic / David Harel.
- Text
- Berlin ; New York : Springer-Verlag, 1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text QA76.6.H34 1979 Off-site Recursion method : application to many-body dynamics / V.S. Viswanath, Gerhard Müller.
- Text
- Berlin ; New York : Springer-Verlag, [1994], ©1994.
- 1994-1994
- 1 Item
Item details Format Call Number Item Location Text QC174.17.P7 V58 1994 Off-site Induction, recursion, and programming / Mitchell Wand.
- Text
- New York : North Holland, c1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .W34 Off-site Bounded queries in recursion theory / William I. Gasarch, Georgia A. Martin.
- Text
- Boston : Birkauser, [1999], ©1999.
- 1999-1999
- 1 Item
Item details Format Call Number Item Location Text QA267.7 .G38 1999 Off-site Computable economics : the Arne Ryde memorial lectures / Kumaraswamy Velupillai.
- Text
- New York : Oxford University Press, 2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text HB135 .V42 1999 Off-site Computable analysis : an introduction / Klaus Weihrauch.
- Text
- Berlin ; New York : Springer, [2000], ©2000.
- 2000-2000
- 1 Item
Item details Format Call Number Item Location Text QA9.59 .W46 2000 Off-site Subrecursion : functions and hierarchies / H.E. Rose.
- Text
- Oxford [Oxfordshire] : Clarendon Press ; New York : Oxford University Press, 1984.
- 1984
- 1 Item
Item details Format Call Number Item Location Text QA9.615 .R67 1984 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
