Research Catalog

Elementary logic with applications: a procedural perspective for computer scientists / D.M. Gabbay, O.T. Rodrigues.

Title
Elementary logic with applications: a procedural perspective for computer scientists / D.M. Gabbay, O.T. Rodrigues.
Author
Gabbay, Dov M., 1945-
Publication
  • London : College Publications, [2016]
  • ©2016

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?
Book/TextRequest in advance Off-site

Details

Additional Authors
Rodrigues, Odinaldo T. (Odinaldo Teixeira)
Description
347 pages; 24 cm.
Series Statement
Mathematical Logic and Foundations ; 65
Uniform Title
  • Studies in logic v. 65.
  • Studies in logic. Mathematical logic and foundations.
Subject
  • Computer science
  • Logic, Symbolic and mathematical
  • Electronic data processing
  • Informatique
  • Logique symbolique et mathématique
  • data processing
  • computer science
  • Logic, Symbolic and mathematical
Bibliography (note)
  • Includes bibliographical references (pages 335-341) and index.
Processing Action (note)
  • committed to retain
ISBN
  • 1848902255
  • 9781848902251
OCLC
  • 960077598
  • SCSB-12828921
Owning Institutions
Harvard Library