Computability and logic

このページのQRコード

種類:

図書

責任表示:

George S. Boolos, Richard C. Jeffrey

出版情報:

Cambridge, [Cambridgeshire] ; New York : Cambridge University Press, 1989

著者名:

ISBN:

9780521380263 [052138026X]

9780521389235 [0521389232] (: pbk)

注記:

Includes bibliographical references and index

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Computable functions; Logic, Symbolic and Mathematical; Recursive functions
分類・件名:	LCC : QA9.59 DDC : 511.3 NDC7 : 410.12 LCSH : Computable functions LCSH : Recursive functions LCSH : Logic, Symbolic and Mathematical
LCCN:	89032584
TTLL:	eng
言語:	英語
形態:	x, 304 p. : ill. ; 24 cm
書誌ID:	BA07865059

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Computability Weihrauch, Klaus, 1943- Springer-Verlag	7 図書 Computability, an introduction to recursive function theory Cutland, Nigel Cambridge University Press
2 図書 Computability & unsolvability Davis, Martin, 1928- McGraw-Hill	8 図書 Elementary computability, formal languages, and automata McNaughton, Robert Prentice-Hall
3 図書 Theory of recursive functions and effective computability Rogers, H. (Hartley), 1926- McGraw-Hill	9 図書 Computability, enumerability, unsolvability : directions in recursion theory Cooper, S. B. (S. Barry), Slaman, T. A. (Theodore Allen), 1954-, Wainer, S. S, London Mathematical Society Cambridge University Press
4 図書 Handbook of computability theory Griffor, Edward R. Elsevier	10 図書 The logic of provability Boolos, George Cambridge University Press
5 図書 Computability and complexity theory Homer, S. (Steven), Selman, Alan L. Springer	11 電子ブック Computability theory and its applications : current trends and open problems : proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, … Cholak, Peter,1962- American Mathematical Society
6 図書 Computability : a mathematical sketchbook Bridges, D. S. (Douglas S.), 1945- Springer-Verlag	12 電子ブック Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 Workshop on Logic and Computation, Sieg, Wilfried,1945- American Mathematical Society