Proceedings of the Herbrand Symposium : Logic Colloquium '81 : proceedings of the Herbrand Symposium held in Marseilles, France, July 1981 / edited by J. Stern
(Studies in logic and the foundations of mathematics ; v.107)
Publisher | Amsterdam ; Oxford : North-Holland |
---|---|
Year | 1982 |
Authors | *Logic Colloquium (1982: Marseilles, France) Stern, J. |
Hide book details.
Location | Volume | Call No. | Barcode No. | Status | Comments | ISBN | Printed | Restriction | Reserve |
---|---|---|---|---|---|---|---|---|---|
Library Main Building 3rd fl. (Foreign Books) |
|
4100:83:107 | 228002433O |
|
|
|
|
Hide details.
Material Type | Books |
---|---|
Size | xi, 384 p. : ill. ; 23 cm |
Notes | Includes bibliographies Includes four chapters in French |
Subjects | PRECIS:Mathematical logic - Conference proceedings LCSH:Logic, Symbolic and mathematical -- Congresses All Subject Search NDLSH:記号論理学 |
Classification | LCC:QA9.A1 DC19:511.3 NDC8:410.96 |
Language | English |
ID | 0000263360 |
ISBN | 0444864172 |
NCID | BA00730109 |
Similar Items
Usage statistics of this contents
Number of accesses to this page:4times