Recursion theory

>> Amazon.co.jp

このページのQRコード

Recursion theory

種類:

図書

責任表示:

[edited by Anil Nerode, Richard A. Shore]

出版情報:

Providence, R.I. : American Mathematical Society, c1985

著者名:

シリーズ名:

Proceedings of symposia in pure mathematics ; v. 42 <BA00018892>

ISBN:

9780821814475 [0821814478]

注記:

"Proceedings of the AMs-ASL Summer Institute on Recursion Theory, held at Cornell University, Ithaca, New York, June 28-July 16, 1982"--T.p. verso
Papers presented at the 1982 AMS Summer Research Institute held at Cornell University from June 28 to July 16, 1982, and co-sponsored by the ASL
Includes bibliographies

所蔵情報

子書誌情報

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

詳細

主題:	記号論理学
分類・件名:	LCC : QA9.6 DDC : 511.3 NDC8 : 410.96 LCSH : Recursion theory -- Addresses, essays, lectures NDLSH : 記号論理学
LCCN:	84018525
TTLL:	eng
言語:	英語
形態:	vii, 528 p. ; 27 cm
書誌ID:	BA00494436

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 RECURSION THEORY <ED. BY> NERODE, ANIL, SHORE, RICHARD A. AMERICAN MATHEMATICAL SOCIETY	7 電子ブック Applications of algebraic K-theory to algebraic geometry and number theory : proceedings of the AMS-IMS-SIAM joint summer research conference held June 12-18, … AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Algebraic K-Theory to … American Mathematical Society
2 図書 Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia Crossley, John N., 1937-, Australian Mathematical Society Springer-Verlag	8 電子ブック Applications of algebraic K-theory to algebraic geometry and number theory : proceedings of the AMS-IMS-SIAM joint summer research conference held June 12-18, … AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Algebraic K-Theory to … American Mathematical Society
3 図書 Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983 Latin-American Symposium on Mathematical Logic, Di Prisco, C. A., 1949-, Asociación Venezolana para el Avance de la … Springer-Verlag	9 図書 Multiparameter bifurcation theory : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held July 14-20, 1985, with support from the National … AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Multiparameter Bifurcation Theory, … American Mathematical Society
4 電子ブック Deformation theory and quantum groups with applications to mathematical physics : proceedings of a AMS-IMS-SIAM 1990 joint summer research conference held June … AMS-IMS-SIAM Joint Summer Research Conference on Deformation Theory of Algebras and Quantization with Applications to … American Mathematical Society	10 図書数理論理学 = Mathematical logic 戸次, 大介(1973-) 東京大学出版会
5 図書 Geometrical and topological methods in gauge theories : proceedings of the Canadian Mathematical Society Summer Research Institute, McGill University, … Summer Research Institute on Geometrical and Topological Methods in Gauge Theories (1979 : McGill University), Harnad, … Springer-Verlag	11 図書 Mathematical logic and formal systems : a collection of papers in honor of Professor Newton C.A. da Costa Costa, Newton C. A. da, Alcantara, Luiz Paulo de, 1944- M. Dekker
6 図書 Automata theory and its applications Khoussainov, Bakhadyr, Nerode, Anil Birkhäuser	12 電子ブック The Penrose transform and analytic cohomology in representation theory : AMS-IMS-SIAM summer research conference, June 27 to July 3, 1992, Mount Holyoke … Eastwood, Michael G., Wolf, Joseph Albert,1936-, Zierau, Roger,1956-, American Mathematical Society., Institute of … American Mathematical Society