Research Catalog

Computability theory, semantics, and logic programming

Title
Computability theory, semantics, and logic programming / Melvin Fitting.
Author
Fitting, Melvin Chris
Publication
New York : Oxford University Press ; Oxford [Oxfordshire] : Clarendon Press, 1986.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Book/textRequest in advance JSE 87-1462Offsite

Details

Description
xi, 198 p. : ill.; 25 cm.
Series Statement
Oxford logic guides ; 13
Subject
  • Computable functions
  • Data structures (Computer science)
Bibliography (note)
  • Includes bibliographical references and index.
Call Number
JSE 87-1462
ISBN
0195036913
LCCN
85005003
OCLC
  • 11842343
  • NYPG87-B55051
Author
Fitting, Melvin Chris.
Title
Computability theory, semantics, and logic programming / Melvin Fitting.
Imprint
New York : Oxford University Press ; Oxford [Oxfordshire] : Clarendon Press, 1986.
Series
Oxford logic guides ; 13
Bibliography
Includes bibliographical references and index.
Research Call Number
JSE 87-1462
View in Legacy Catalog