ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by G.H. Müller, A. Oberschelp, K. Potthoff
(Lecture notes in mathematics ; 499)
Publisher | Berlin ; New York : Springer-Verlag |
---|---|
Year | 1975 |
Authors | *International Summer Institute and Logic Colloquium (1974 : Kiel, West Germany) Müller, G. H. (Gert Heinz), 1923- Oberschelp, A Potthoff, Klaus |
Hide book details.
Location | Volume | Call No. | Barcode No. | Status | Comments | ISBN | Printed | Restriction | Reserve |
---|---|---|---|---|---|---|---|---|---|
Library Restricted Access Stacks |
|
SAe:21:499 | 128035610Q |
|
|
|
|
Hide details.
Material Type | Books |
---|---|
Size | iv, 651 p. ; 25 cm |
Other titles | variant access title:Logic Conference |
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 |
Subjects | LCSH:Logic, Symbolic and mathematical -- Congresses
All Subject Search
LCSH:Set theory -- Congresses All Subject Search |
Classification | LCC:QA3 LCC:QA9.A1 DC:510/.8 s DC:511/.3 |
Language | English,French |
ID | 0000256380 |
ISBN | 3540075348 |
NCID | BA00214154 |
Similar Items
Usage statistics of this contents
Number of accesses to this page:3times