Matches in Harvard for { <http://id.lib.harvard.edu/aleph/001987703/catalog> ?p ?o. }
Showing items 1 to 33 of
33
with 100 items per page.
- catalog abstract "The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types.".
- catalog contributor b2863823.
- catalog contributor b2863824.
- catalog contributor b2863825.
- catalog created "c1990.".
- catalog date "1990".
- catalog date "c1990.".
- catalog dateCopyrighted "c1990.".
- catalog description "Includes bibliographical references.".
- catalog description "The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types.".
- catalog extent "162 p. :".
- catalog hasFormat "Logic and computer science.".
- catalog identifier "0387527346".
- catalog identifier "3540527346 :".
- catalog isFormatOf "Logic and computer science.".
- catalog isPartOf "Lecture notes in mathematics (Springer-Verlag) ; 1429".
- catalog isPartOf "Lecture notes in mathematics ; 1429".
- catalog issued "1990".
- catalog issued "c1990.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog relation "Logic and computer science.".
- catalog subject "510 s 511.3 20".
- catalog subject "Computational complexity Congresses.".
- catalog subject "Computer science.".
- catalog subject "Logic, Symbolic and mathematical Congresses.".
- catalog subject "Logic, Symbolic and mathematical.".
- catalog subject "Mathematics.".
- catalog subject "Programming (Mathematics) Congresses.".
- catalog subject "QA3 .L28 no. 1429 QA9.A1".
- catalog title "Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / S. Homer ... [et al.] ; editor, P. Odifreddi.".
- catalog type "Conference proceedings. fast".
- catalog type "text".