Research Catalog

Handbook of logic in computer science

Title: Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum.
Publication: Oxford : Clarendon Press ; New York : Oxford University Press, 1992-

Filter by

Item details
Status	Vol/Date	Format	Access	Call Number	Item Location
Not available - Please for assistance.	No. 2	PRINT	Use in library	JSL 94-75	Schwarzman Building - Main Reading Room 315
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	v. 2	Book/text	Request in advance	JSL 94-75	Offsite
Not available - Please for assistance.	No. 1	PRINT	Use in library	JSL 94-75	Schwarzman Building - Main Reading Room 315
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	v. 1	Book/text	Request in advance	JSL 94-75	Offsite

Location

Format

Call Number

Library Has

Additional Authors

Description

v. : ill.; 25 cm.

Subject

Bibliography (note)

Contents

v. 1. Background, mathematical structure -- v. 2. Background, computational structures.

Call Number

JSL 94-75

ISBN

LCCN

92000510 //r92

OCLC

NYPG94-B22381

Title

Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum.

Imprint

Oxford : Clarendon Press ; New York : Oxford University Press, 1992-

Bibliography

Includes bibliographical references and indexes.

Added Author

Abramsky, Samson, 1953-

Gabbay, Dov M., 1945-

Maibaum, Thomas S. E., 1947-

Research Call Number

JSL 94-75 Library has: Vol. 1-2.