Recursion theory | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

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>

著者名:

ISBN:

9780821814475 [0821814478]

書誌ID:

BA00494436

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

注記:	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
主題:	記号論理学
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Logic for applications (: us ; : gw) Nerode, Anil, 1932-, Shore, Richard A., 1946- Springer-Verlag	7 図書 Random matrices and their applications : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 17-23, 1984, with support from the National … AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Random Matrices and Their Applications, … American Mathematical Society
2 図書 Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia (: Germany ; : U.S.) Crossley, John N., 1937-, Australian Mathematical Society Springer-Verlag	8 雑誌 AMS newsletter American Meteorological Society American Meteorological Society
3 図書 Geometrical methods for the theory of linear systems : proceedings of a NATO Advanced Study Institute and AMS Summer Seminar in Applied Mathematics, held at … NATO Advanced Study Institute, Byrnes, Christopher I., 1949-, Martin, Clyde, 1943-, AMS Summer Seminar in Applied … D. Reidel Pub. Co., NATO Scientific Affairs Division, distributed in the U.S.A. and Canada by Kluwer Boston	9 図書 Combinatorial functors (: u.s. ; : gw) Crossley, John N., 1937-, Nerode, Anil, 1932- Springer-Verlag
4 電子ブック Algebraic Curves and Riemann Surfaces for Undergraduates : The Theory of the Donut Nerode, Anil., Greenberg, Noam SpringerLink Books - AutoHoldings, Springer International Publishing AG	10 電子ブック Logical Foundations of Computer Science Artemov, Anil Nerode, Nerode, Anil SpringerLink Books - AutoHoldings, Springer International Publishing
5 図書 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	11 図書 Geometrical and topological methods in gauge theories : proceedings of the Canadian Mathematical Society Summer Research Institute, McGill University, … (: gw ; : us) Summer Research Institute on Geometrical and Topological Methods in Gauge Theories (1979 : McGill University), Harnad, … Springer-Verlag
6 図書 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, … (: set ; pt. 1 ; pt. 2) AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Algebraic K-Theory to … American Mathematical Society	12 図書 Sets, models and recursion theory : proceedings of the summer school in mathematical logic and tenth logic colloquium leicester, August-September 1965 Crossley, John N., 1937- North-Holland

1

2

3

4

5

6

7

8

9

10

11

12