cover image

Logic year 1979-80, the University of Connecticut, USA / edited by M. Lerman, J.H. Schmerl, and R.I. Soare.

; Schmerl, J. H. (James Henry), 1940- ; Soare, R. I. (Robert Irving), 1940-
Berlin ; New York : Springer-Verlag, 1981.
ISBN 3540107088, 9783540107088, 0387107088, 9780387107080

Location Call Number Status Consortium Loan
George Washington
WRLC Shared Collections Facility
QA 3 .L28 no.859 (show me on map) Off-site
WRLC Shared Collections Facility
No.859-861 bound together. Held at WRLC Center; available for delivery
WRLC Shared Collections Facility
QA3 .L28 no.859-861 Off-site
George Mason
Fenwick stacks
QA3 .L28 no.859 Available Request
Lauinger stacks
QA3 .L28 no. 859 Available Request
Other Authors Lerman, M. 1943-
Schmerl, J. H. 1940-
Soare, R. I. 1940-
Subjects Beweistheorie.
Logic, Symbolic and mathematical -- Congresses.
Logic, Symbolic and mathematical.
Logique symbolique et mathématique -- Congrès.
Series Lecture notes in mathematics (Springer-Verlag) ; 859.
Description vi, 326 pages : illustrations ; 24 cm.
Copyright Date 1981.
Notes Includes bibliographical references.
Genre Conference proceedings.
Network Numbers (OCoLC)7462773
WorldCat Search OCLC WorldCat


Export citation to: RefWorks