ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974

>> Amazon.co.jp

このページのQRコード

ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974

種類:

図書

責任表示:

edited by G.H. Müller, A. Oberschelp, K. Potthoff

出版情報:

Berlin ; New York : Springer-Verlag, 1975

著者名:

シリーズ名:

Lecture notes in mathematics ; 499 <BA00146586>

ISBN:

9783540075349 [3540075348] (: gw)

9780387075341 [0387075348] (: u.s.)

注記:

Chiefly comprised of selected course lecture notes from the institute, July 17-31, 1974, and selected papers from the conference, Aug. 1-3, 1974
Papers on proof theory dedicated to Kurt Schütte are published as a separate volume of these proceedings
Includes bibliographies

所蔵情報

子書誌情報

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

詳細

その他の標題:	Logic Conference
主題:	Logic, Symbolic and mathematical--Congresses; Set theory--Congresses
分類・件名:	NDC7 : 410.8 LCSH : Logic, Symbolic and mathematical -- Congresses LCSH : Set theory -- Congresses
LCCN:	75040481
TTLL:	mul
言語:	英語; フランス語
形態:	iv, 651 p. ; 25 cm
書誌ID:	BA00214154

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック ISILC - Logic Conference : Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 Müller, G. H., Oberschelp, A., Potthoff, K., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	7 電子ブック ISILC - Proof Theory Symposion : Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and Logic … Diller, J., Müller, G.H., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer
2 図書 ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic … ISILC Proof Theory Symposium, Schütte, K. (Kurt), Diller, Justus, Müller, G. H. (Gert Heinz), 1923-, International … Springer-Verlag	8 図書 Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Haifa, Israel, August 9-18, 1995 Logic Colloquium, Makowsky, Johann A., 1948-, Ravve, Elena V., 1963-, Association for Symbolic Logic Springer
3 図書 Models and sets : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part I Logic Colloquium, Müller, Gert Heinz, 1923-, Richter, Michael M., 1938- Springer-Verlag	9 図書 COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, proceedings International Conference on Computer Logic, Martin-Löf, Per, 1942-, Mint︠s︡, Grigori Springer-Verlag
4 図書 Higher set theory : proceedings, Oberwolfach, Germany, April 13-23, 1977 Müller, G. H. (Gert Heinz), 1923-, Scott, Dana S. Springer-Verlag	10 図書 Rough sets and current trends in computing : first international conference, RSCTC '98, Warsaw, Poland, June 22-26, 1998 : proceedings RSCTC, Polkowski, Lech, Skowron, Andrzej Springer
5 図書 Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 Logic Symposia, Müller, G. H. (Gert Heinz), 1923-, 竹内, 外史(1926-), 柘植, 利之(1926-) Springer-Verlag	11 図書 Conference in Mathematical Logic, London '70 : [proceedings] Conference in Mathematical Logic, Hodges, Wilfrid Springer-Verlag
6 図書 Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II Logic Colloquium, Müller, Gert Heinz, 1923- Springer-Verlag	12 図書 Mathematical logic : proceedings of the first Brazilian Conference Brazilian Conference on Mathematical Logic, Arruda, Ayda I., Costa, Newton C. A. da, Chuaqui, R., Universidade Estadual … M. Dekker