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

  • Authors
  • Steven Homer
  • Anil Nerode
  • Richard A. Platek
  • Gerald E. Sacks
  • Andre Scedrov
  • Editors
  • Piergiorgio Odifreddi

Part of the Lecture Notes in Mathematics book series (LNM, volume 1429)

Table of contents

  1. Front Matter
    Pages I-IV
  2. Anil Nerode
    Pages 12-59
  3. Gerald E. Sacks
    Pages 90-110
  4. Andre Scedrov
    Pages 111-150
  5. Back Matter
    Pages 151-153

About these proceedings


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.


computer science logic programming proof

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1990
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-52734-3
  • Online ISBN 978-3-540-47135-6
  • Series Print ISSN 0075-8434
  • Series Online ISSN 1617-9692
  • Buy this book on publisher's site