Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II

>> Amazon.co.jp

このページのQRコード

Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983, part II

種類:

図書

責任表示:

edited by M. M. Richter ... [et al.]

出版情報:

Berlin ; Tokyo : Springer-Verlag, 1984

著者名:

シリーズ名:

Lecture notes in mathematics ; 1104 <BA00146586>

ISBN:

9783540139010 [354013901X] (: gw)

9780387139012 [038713901X] (: us)

注記:

'Ein weiterer Band der Proceedings erscheint unter dem Titel 'Models and Sets' ebenfalls in den Lencture Notes in Mathematics ... '
Includes bibliographies

所蔵情報

子書誌情報

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

詳細

主題:	Logic, Symbolic and mathematical--Congresses
分類・件名:	NDC7 : 410.8 LCSH : Logic, Symbolic and mathematical -- Congresses
LCCN:	84026704
TTLL:	eng
言語:	英語
形態:	viii, 475 p. ; 25 cm
書誌ID:	BA03966043

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 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	7 図書 Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993 : proceedings Kurt Gödel Colloquium, Gottlob, Georg, 1956-, Leitsch, Alexander, 1952-, Mundici, Daniele, 1946-, Kurt Gödel Society Springer-Verlag
2 電子ブック Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 2: Computation and Proof Theory Richter, M. M., Börger, E., Oberschelp, W., Schinzel, B., Thomas, W., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	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 電子ブック Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 : Part 1: Models and Sets Müller, G. H., Richter, M. M., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	9 図書 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
4 図書 ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 International Summer Institute and Logic Colloquium, Müller, G. H. (Gert Heinz), 1923-, Oberschelp, A, Potthoff, Klaus Springer-Verlag	10 図書 Logic Colloquium : symposium on logic held at Boston, 1972-73 Boston Logic Colloquium, Parikh, Rohit, 1936- Springer-Verlag
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 図書 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
6 図書 Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings Kurt Gödel Colloquium, Gottlob, Georg, 1956-, Leitsch, Alexander, 1952-, Mundici, Daniele, 1946- Springer	12 図書 Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N.Y., 1968 Conference on Intuitionism and Proof Theory, Kino, Akiko, Myhill, John Martin, Vesley, Richard Eugene, 1932-, State … North-Holland Pub. Co.