An edition of The logical basis for computer programming (1985)

The logical basis for computer programming

by , , and

  • 2 Want to read
Cover of: The logical basis for computer programming by Zohar Manna, Richard Waldinger, Johar Manna, Zohar Manna
Preview Only

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 2 Want to read
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 30, 2019 | History
Edit
An edition of The logical basis for computer programming (1985)

The logical basis for computer programming

by , , and

  • 2 Want to read

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Addison-Wesley, Addison-Wesley Professional
Language
English
Pages
632

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Computer programming, Symbolic and mathematical Logic
Edition Availability
Cover of: The Logical Basis for Computer Programming
The Logical Basis for Computer Programming: Deductive Systems (Addison-Wesley Series in Computer Science)
January 1990, Addison-Wesley Pub (Sd)
in English
Cover of: The logical basis for computer programming
The logical basis for computer programming
1985, Addison-Wesley, Addison-Wesley Professional
in English

Add another edition?

Book Details

Table of Contents

v. 1. Deductive reasoning
v. 2 Deductive systems.

Edition Notes

Includes bibliographies and indexes.

Published in
Reading, Mass
Series
Addison-Wesley series in computer science

Classifications

Dewey Decimal Class
519.7
Library of Congress
QA76.6 .M35595 1985, QA76.6.M35595 1985

The Physical Object

Pagination
2 v. :
Number of pages
632

Edition Identifiers

Open Library
OL2857723M
Internet Archive
logicalbasisforc0000mann
ISBN 10
0201182602, 0201182610
LCCN
84020346
OCLC/WorldCat
11159189
Library Thing
583078
Amazon ID (ASIN)
Goodreads
4041439
4041440

Work Identifiers

Work ID
OL3745398W

Source records

Better World Books record
Library of Congress MARC record
Promise Item
amazon.com record
Promise Item
Internet Archive item record
marc_columbia MARC record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
July 30, 2019 Edited by MARC Bot associate edition with work OL3745398W
December 4, 2010 Edited by Open Library Bot Added subjects from MARC records.
April 28, 2010 Edited by Open Library Bot Linked existing covers to the work.
December 10, 2009 Created by WorkBot add works page