Recursion theory

>> Google Books

タイトル、所在を表示します

Recursion theory

フォーマット:

図書

責任表示:

[edited by Anil Nerode, Richard A. Shore]

言語:

英語

出版情報:

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

形態:

vii, 528 p. ; 27 cm

著者名:

シリーズ名:

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

書誌ID:

BA00494436

ISBN:

9780821814475 [0821814478]

子書誌情報

所蔵情報

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

詳細

資料形態(詳細):	Text
主題:	記号論理学
LCCN:	84018525
注記:	"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
登録日:	2005-11-17
件名のヨミ:	キゴウロンリガク
分類・件名:	LCC : QA9.6 DDC : 511.3 NDC8 : 410.96 LCSH : Recursion theory -- Addresses, essays, lectures NDLSH : 記号論理学

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Logic for applications Nerode, Anil, 1932-, Shore, Richard A., 1946- Springer	7 図書 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
2 図書 Logic for applications Nerode, Anil, 1932-, Shore, Richard A., 1946- Springer-Verlag	8 図書 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
3 図書 Deformation theory and quantum groups with applications to mathematical physics : proceedings of an 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	9 図書 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
4 図書 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	10 図書 Lie algebras and Lie groups : five papers prepared in connection with the first Summer Mathematical Institute American Mathematical Society. Summer Mathematical Institute, American Mathematical Society American Mathematical Society
5 図書 Combinatorial functors Crossley, John N., 1937-, Nerode, Anil, 1932- Springer-Verlag	11 図書 Linear algebra and its role in systems theory AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Linear Algebra and its Role in Systems … American Mathematical Society
6 図書 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	12 図書 The Penrose transform and analytic cohomology in representation theory : AMS-IMS-SIAM Summer Research Conference, June 27 to July 3, 1992, Mount Holyoke … AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on the Penrose Transform and Analytic … American Mathematical Society