Skip to main content
  • Conference proceedings
  • © 1990

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

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

Part of the book sub series: C.I.M.E. Foundation Subseries (LNMCIME)

Buying options

eBook USD 29.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 39.95
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (5 papers)

  1. Front Matter

    Pages I-IV
  2. Some lectures on intuitionistic logic

    • Anil Nerode
    Pages 12-59
  3. Prolog Programming

    • Gerald E. Sacks
    Pages 90-110
  4. A guide to polymorphic types

    • Andre Scedrov
    Pages 111-150
  5. Back Matter

    Pages 151-153

About this book

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.

Keywords

  • computer science
  • logic
  • programming
  • proof

Bibliographic Information

  • Book Title: Logic and Computer Science

  • Book Subtitle: 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

  • Series Title: Lecture Notes in Mathematics

  • DOI: https://doi.org/10.1007/BFb0093921

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1990

  • Softcover ISBN: 978-3-540-52734-3Published: 17 July 1990

  • eBook ISBN: 978-3-540-47135-6Published: 14 November 2006

  • Series ISSN: 0075-8434

  • Series E-ISSN: 1617-9692

  • Edition Number: 1

  • Number of Pages: VI, 170

  • Topics: Mathematical Logic and Foundations, Formal Languages and Automata Theory

Buying options

eBook USD 29.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 39.95
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions