東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: #Computable functions)
該当件数:19件
Computable functions / A. Shen, N.K. Vereshchagin ; translated by V.N. Dubrovskii
Providence, R.I : American Mathematical Society , c2003. - (Student mathematical library ; v. 19)
図書
Computability : a mathematical sketchbook / Douglas S. Bridges
: us,: gw. - New York ; Berlin : Springer-Verlag , c1994. - (Graduate texts in mathematics ; 146)
Set theory for computing : from decision procedures to declarative programming with sets / Domenico Cantone, Eugenio Omodeo, Alberto Policriti ; foreword by Jacob T. Schwartz
New York : Springer Verlag , c2001. - (Monographs in computer science)
Computability theory / Rebecca Weber
: pbk. - Providence, R.I. : American Mathematical Society , c2012. - (Student mathematical library ; v. 62)
Computability and logic / George Boolos, Richard Jeffrey
2nd ed. - Cambridge [Eng.] : Cambridge Univ. Pr. , 1980. - New York
Computability, complexity, logic / E. Börger ; translated into the English language and prepared for offset printing by J. C. Harvey
Amsterdam : North-Holland , 1989. - New York : Distributors for U.S.A. and Canada, Elsevier Science Publishing Company, Inc.. - New York. - (Studies in logic and the foundations of mathematics ; v. 128)
Computability, enumerability, unsolvability : directions in recursion theory / edited by S. B. Cooper, T. A. Slaman, S. S. Wainer
Cambridge : Cambridge Univ. Pr. , 1996. - (London Mathematical Society lecture note series ; 224)
Logic and computation : interactive proof with Cambridge LCF / Lawrence C. Paulson
Cambridge : Cambridge University Press , 1987. - New York. - (Cambridge tracts in theoretical computer science ; 2)
Computability and logic / George S. Boolos, Richard C. Jeffrey
3rd ed. - Cambridge, [Cambridgeshire] : Cambridge University Press , 1989. - New York
Computability & unsolvability / Martin Davis
: pbk. - Dover ed. - New York : Dover , 1982. - (Dover books on advanced mathematics)
pbk ed. - Cambridge : Cambridge University Press , 1990, c1987. - (Cambridge tracts in theoretical computer science ; 2)
Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 / Wilfried Sieg, editor
Providence, R.I. : American Mathematical Society , c1990. - (Contemporary mathematics ; 106)
Computability and logic / George S. Boolos, John P. Burgess, Richard C. Jeffrey
5th ed. - Cambridge : Cambridge Univ. Pr. , 2007. - New York
Computation and automata / Arto Salomaa
Cambridge : Cambridge Univ. Pr. , 1985. - (Encyclopedia of mathematics and its applications ; v. 25)
Subrecursion : functions and hierarchies / H. E. Rose
Oxford [Oxfordshire] : Clarendon Pr. , 1984. - New York : Oxford Univ. Pr.. - (Oxford logic guides ; 9)
Enumerability, decidability, computability : an introduction to the theory of recursive functions / Hans Hermes ; translated by G. T. Hermann and O. Plassmann
2nd rev. ed. - Berlin : Springer , 1969. - New York. - (Die Grundlehren der mathematischen Wissenschaften ; Bd. 127)
Models and computability : invited papers from Logic Colloquium '97 : European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss
Cambridge : Cambridge Univ. Pr. , 1999. - New York. - (London Mathematical Society lecture note series ; 259)
The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions / edited by Martin Davis
Hewlett, N.Y. : Raven Press , c1965
Computability and complexity in analysis : 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000 : selected papers / Jens Blanck, Vasco Brattka, Peter Hertling (eds)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2064)