Matches in Harvard for { <http://id.lib.harvard.edu/aleph/002372349/catalog> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- catalog contributor b3413360.
- catalog contributor b3413361.
- catalog created "c1991.".
- catalog date "1991".
- catalog date "c1991.".
- catalog dateCopyrighted "c1991.".
- catalog description "Includes bibliographical references.".
- catalog extent "viii, 399 p. :".
- catalog identifier "0387544879 (New York)".
- catalog identifier "3540544879 (Berlin)".
- catalog isPartOf "Lecture notes in computer science ; 533".
- catalog issued "1991".
- catalog issued "c1991.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog subject "004 20".
- catalog subject "Computer science Congresses.".
- catalog subject "Logic, Symbolic and mathematical Congresses.".
- catalog subject "QA75.5 .W624 1990".
- catalog title "Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings / E. Börger ... [et al.] eds.".
- catalog type "text".