An edition of Handbook of Logic in Computer Science (1992)

Handbook of logic in computer science

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Handbook of logic in computer science by edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum.
Not in Library

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
  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
December 5, 2022 | History
Edit
An edition of Handbook of Logic in Computer Science (1992)

Handbook of logic in computer science

by

  • 0 Ratings
  • 0 Want to read
  • 0 Currently reading
  • 0 Have read

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

Publish Date
Publisher
Clarendon Press, Oxford University Press
Language
English

Check nearby libraries

Buy this book

Subjects
Symbolic and mathematical Logic, Computer science, Logic, symbolic and mathematical, Logic programming, Electronic Data Processing, Informatique, Logique symbolique et mathématique, COMPUTERS, Reference, Machine Theory, Computer Literacy, Information Technology, Data Processing, Hardware, General, Ciencia da computacao ou informatica, Logica e semantica de programacao

Showing 6 featured editions. View all 6 editions?

Edition Availability
Cover of: Handbook of Logic in Computer Science 5
Handbook of Logic in Computer Science 5
February 15, 2001, Oxford University Press, USA
in English
Libraries near you: WorldCat
Cover of: Handbook of Logic in Computer Science: Volume 4
Handbook of Logic in Computer Science: Volume 4: Semantic Modelling (Handbook of Logic in Computer Science)
May 31, 1995, Oxford University Press, USA
in English
Libraries near you: WorldCat
Cover of: Handbook of Logic in Computer Science: Volume 3
Handbook of Logic in Computer Science: Volume 3: Semantic Structures (Handbook of Logic in Computer Science)
May 30, 1995, Oxford University Press, USA
in English
Libraries near you: WorldCat
Cover of: Handbook of Logic in Computer Science: Volume 1: Background
Handbook of Logic in Computer Science: Volume 1: Background: Mathematical Structures (Handbook of Logic in Computer Science, Vol 1)
March 18, 1993, Oxford University Press, USA
in English
Libraries near you: WorldCat
Cover of: Handbook of Logic in Computer Science
Handbook of Logic in Computer Science: Semantic Structures
1993, Oxford University Press, Incorporated
Libraries near you: WorldCat
Cover of: Handbook of logic in computer science
Handbook of logic in computer science
1992, Clarendon Press, Oxford University Press
in English
  • Not in Library
Libraries near you: WorldCat

Add another edition?

Book Details

Table of Contents

v. 1. Background, mathematical structure
v. 2. Background, computational structure
v. 3. Semantic structures
v. 4. Semantic modelling
v. 5. Logic and algebraic methods.

Edition Notes

Includes bibliographical references and indexes.

Published in
Oxford, New York

Classifications

Dewey Decimal Class
004
Library of Congress
QA76 .H2785 1992, QA76.H2785 1992

The Physical Object

Pagination
v. <1-5 > :

ID Numbers

Open Library
OL1700286M
ISBN 10
0198537352, 0198537611, 019853762X, 0198537808, 0198537816
LCCN
92000510
Library Thing
1713571
Goodreads
115146
3400034
573475
3346020

Source records

Better World Books record
Better World Books record
Better World Books record
Better World Books record
Promise Item

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
December 5, 2022 Edited by ImportBot import existing book
October 7, 2020 Edited by ImportBot import existing book
July 31, 2020 Edited by ImportBot import existing book
July 31, 2020 Edited by ImportBot import existing book
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record