Models and computability : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997

>> Google Books

QRコード(所蔵情報)

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 ; New York : Cambridge University Press, 1999

形態:

ix, 419 p. ; 23 cm

著者名:

シリーズ名:

London Mathematical Society lecture note series ; 259 <BA0005393X>

書誌ID:

BA42205160

ISBN:

9780521635509 [0521635500]

子書誌情報

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

主題:	Computable functions--Congresses; Logic, Symbolic and mathematical--Congresses
分類・件名:	LCC : QA9.A1 DDC : 511.3 LCSH : Logic, Symbolic and mathematical -- Congresses LCSH : Computable functions -- Congresses
LCCN:	99019677
注記:	Includes bibliographical refereces
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Sets and proofs : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997 Logic Colloquium, Cooper, S. B. (S. Barry), Truss, J. K Cambridge University Press	7 図書 Logic from computer science : proceedings of a workshop held November 13-17, 1989 Moschovakis, Yiannis N., 1938-, Workshop on Logic from Computer Science Springer-Verlag
2 図書 Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II Logic Colloquium, Müller, G. H. (Gert Heinz), 1923-, Richter, Michael M., 1938- Springer-Verlag	8 図書 Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985, with support from the National Science … AMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Applications of Mathematical Logic to … American Mathematical Society
3 図書 Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 Latin-American Symposium on Mathematical Logic, Carnielli, Walter A. (Walter Alexandre), Alcantara, Luiz Paulo de, … American Mathematical Society	9 電子ブック Logic Colloquium '95: Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995 Buss, S. R.; Lachlan, A.; Slaman, T. Springer-Verlag
4 図書 Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogotá Latin-American Symposium on Mathematical Logic, Caicedo, Xavier, 1944-, Montenegro, Carlos H., 1958- Marcel Dekker	10 図書 Computability theory and its applications : current trends and open problems : proceedings of a 1999 AMS-IMS-SIAM Joint Summer Research Conference, … AMS-IMS-SIAM Joint Summer Research Conference, Computability Theory and Applications, Cholak, Peter, 1962-, Lempp, … American Mathematical Society
5 図書 Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987 篠田, 壽一(1948-), Slaman, T. A. (Theodore Allen), 1954-, 柘植, 利之(1926-), Meeting on Mathematical Logic and its Applications Springer-Verlag	11 図書 Papers from the EAA Third Annual Meeting at Ravenna 1997 European Association of Archaeologists, Pearce, Mark, Tosi, Maurizio, Bietti Sestieri, Anna Maria Archaeopress
6 電子ブック Computability and Models Cooper, Cooper, S. Barry, Goncharov, Sergei S. Springer US	12 雑誌 Studies in logic and the foundations of mathematics North-Holland Pub.