Research Catalog
Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, part II
- Title
- Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, part II / by M.M. Richter ... [et al.]
- Author
- Logic Colloquium (1983 : Aachem, Germany)
- Publication
- Berlin ; New York : Springer-Verlag, 1984.
Items in the Library & Off-site
Filter by
1 Item
| Status | Vol/Date | Format | Access | Call Number | Item Location |
|---|---|---|---|---|---|
| v. 1104 | Text | Request in advance | JSM 95-200 v. 1104 | Offsite |
Details
- Additional Authors
- Richter, Michael M., 1938-
- Description
- viii, 475 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in mathematics ; \1104
- Uniform Title
- University of Arkansas lecture notes in mathematics ; \1104.
- Subject
- Note
- The 1st part of the proceedings is published under the title: Models and sets.
- Bibliography (note)
- Includes bibliographies.
- Call Number
- JSM 95-200 no. 1104
- ISBN
- 354013901X (Berlin)
- 038713901X (New York)
- OCLC
- 11802118
- NYPG85-B15855
- Conference
- Logic Colloquium (1983 : Aachem, Germany)
- Title
- Computation and proof theory : proceedings of the Logic Colloquium held in Aachen, July 18-23, part II / by M.M. Richter ... [et al.]
- Imprint
- Berlin ; New York : Springer-Verlag, 1984.
- Series
- Lecture notes in mathematics ; \1104University of Arkansas lecture notes in mathematics ; \1104.
- Bibliography
- Includes bibliographies.
- Added Author
- Richter, Michael M., 1938-
- Research Call Number
- JSM 95-200 no. 1104