This book is currently unavailable on Open Library, check out available alternatives.
An edition of Logic for applications (1993)

Logic for applications

by

Logic for applications
Anil Nerode, Anil Nerode
Locate

My Reading Lists:

Create a new list

Check nearby libraries

Buy this book

This book is currently unavailable on Open Library, check out available alternatives.
Last edited by MARC Bot
January 6, 2026 | History
Edit
An edition of Logic for applications (1993)

Logic for applications

by

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

Publish Date
Publisher
Springer-Verlag
Language
English
Pages
365

Check nearby libraries

Buy this book

Subjects

Logic programming Logic, Symbolic and mathematical Symbolic and mathematical Logic
Edition Availability
Cover of: Logic for applications
Logic for applications
1993, Springer-Verlag
in English

Add another edition?

Book Details

Edition Notes

Includes bibliographical references (p. 329-354) and indexes.

Published in
New York, London
Series
Texts and monographs in computer science

Classifications

Dewey Decimal Class
005.1
Library of Congress
QA76.63

The Physical Object

Pagination
xvii, 365 p. :
Number of pages
365

Edition Identifiers

Open Library
OL21346765M
ISBN 10
0387941290, 3540941290
LibraryThing
2004827
Goodreads
5020946

Work Identifiers

Work ID
OL13361342W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON / OPDS | Wikipedia citation