L. E. J. brouwer centenary symposium. Troelstra A S Ed.; Dalen D Van Ed.
Material type:
TextLanguage: English Publication details: Oxford North Holland Publishing 1982Description: ix,523p. cmDDC classification: - R14p1,N81, M2
| Item type | Current library | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Textual
|
South Campus Library | South Campus Library | R14p1,N81 M2 (Browse shelf(Opens below)) | Available | SC0682313 |
Browsing South Campus Library shelves Close shelf browser (Hides shelf browser)
| R14oaD6,8(B) M7 Mathematical logic and theoretical computer science. | R14obD6,8(B) M1 Mathematical logic in computer science. | R14p1,N79 M1 Logic year 1979-80. | R14p1,N81 M2 L. E. J. brouwer centenary symposium. | R14p1,N81 M2 Proceeding of the herbrand symposium. | R14p3,N73 L5 Logic colloquium '73 Proceedings of the colloquium bristol,july 1973. | R14xN03 F7 Principia mathematica. |
There are no comments on this title.
Log in to your account to post a comment.