ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974
Bibliographic Information
- Title
- "ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974"
- Statement of Responsibility
- edited by G.H. Müller, A. Oberschelp, K. Potthoff
- Publisher
-
- Springer-Verlag
- Publication Year
-
- 1975
- Book size
- 25 cm
- Series Name / No
-
- : gw
- : u.s.
- Other Title
-
- Logic Conference
Search this Book/Journal
Notes
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
- Tweet
Details 詳細情報について
-
- CRID
- 1130282269116846336
-
- NII Book ID
- BA00214154
-
- ISBN
- 3540075348
- 0387075348
-
- LCCN
- 75040481
-
- Web Site
- https://lccn.loc.gov/75040481
-
- Country Code
- gw
-
- Title Language Code
- en
-
- Place of Publication
-
- Berlin ; New York
-
- Subject
-
- Data Source
-
- CiNii Books