Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 / Wilfried Sieg, editor. [electronic resource]
Material type: TextSeries: Contemporary mathematics (American Mathematical Society) ; 106.Publisher: Providence, Rhode Island : American Mathematical Society, [1990]Copyright date: ©1990Description: 1 online resource (314 pages) : illustrationsISBN:- 9780821876947 (e-book)
- 511.3 20
- QA9.59 .W67 1987
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Ebook | TUS: Midlands, Main Library Athlone Online | eBook (Browse shelf(Opens below)) | Available |
"The Workshop on Logic and Computation was held at Carnegie Mellon University on June 30-July 2, 1987"--T.p. verso.
Includes bibliographical references.
Description based on print version record.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.