Skip to main content
SpringerLink
Log in

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

  • Conference proceedings
  • © 1990

Overview

Authors:
  1. Steven Homer
    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Anil Nerode
    View author publications

    You can also search for this author in PubMed   Google Scholar

  3. Richard A. Platek
    View author publications

    You can also search for this author in PubMed   Google Scholar

  4. Gerald E. Sacks
    View author publications

    You can also search for this author in PubMed   Google Scholar

  5. Andre Scedrov
    View author publications

    You can also search for this author in PubMed   Google Scholar

Editors:
  1. Piergiorgio Odifreddi
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

This is a preview of subscription content, log in via an institution to check access.

Access this book

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

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (5 papers)

  1. Front Matter

    Pages I-IV
    Download chapter PDF

  2. The isomorphism conjecture and its generalizations

    • Steven Homer
    Pages 1-11

  3. Some lectures on intuitionistic logic

    • Anil Nerode
    Pages 12-59

  4. Making computers safe for the world: An introduction to proofs of programs part I

    • Richard A. Platek
    Pages 60-89

  5. Prolog Programming

    • Gerald E. Sacks
    Pages 90-110

  6. A guide to polymorphic types

    • Andre Scedrov
    Pages 111-150

  7. Back Matter

    Pages 151-153
    Download chapter PDF
Back to top

Keywords

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.

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, Mathematical Logic and Formal Languages

Publish with us

Policies and ethics

Back to top

Search

Navigation