Research Catalog

The logic of programming

Title
The logic of programming / Eric C.R. Hehner.
Author
Hehner, Eric C. R.
Publication
Englewood Cliffs, N.J. : Prentice/Hall International, [1984], ©1984.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.6 .H427 1984Off-site

Holdings

Details

Description
361 pages; 25 cm.
Series Statement
Prentice-Hall International series in computer science
Uniform Title
Prentice-Hall international series in computer science.
Subject
  • Computer programming
  • Logic, Symbolic and mathematical
  • Ordinateurs > Programmation
  • Logique symbolique et mathématique
  • Programmeren (computers)
  • Mathematische Logik
  • Programmierung
  • Ordinateurs - Programmation
  • Methodology
Bibliography (note)
  • Includes bibliographical references (pages 342-345) and index.
ISBN
  • 0135399661
  • 9780135399668
LCCN
84219772
OCLC
  • 11314829
  • ocm11314829
  • SCSB-5733995
Owning Institutions
Columbia University Libraries