Description:
Springer, 1997-01-17. 2nd. hardcover. Used: Good.
Stock Photo: Cover May Be Different
Logic for Applications Hardcover - 1997
by Anil Nerode; Richard A. Shore
From the rear cover
This textbook provides a first introduction to mathematical logic which is closely attuned to the applications of logic in computer science. In it the authors emphasize the notion that deduction is a form of computation. While all the traditional subjects of logic are covered thoroughly - syntax, semantics, completeness, and compactness - much of the book deals with less traditional topics such as resolution theorem proving, logic programming, and non-classical logics - modal and intuitionistic - which are becoming increasingly important in computer science. The book also provides a systematic treatment of the elements of set theory, a historical overview of its subjects, and an extensive annotated bibliography. No previous exposure to logic is assumed, and so this will be suitable for upper level undergraduate or beginning graduate students in computer science or mathematics.
Details
- Title Logic for Applications
- Author Anil Nerode; Richard A. Shore
- Binding Hardcover
- Edition 2nd
- Pages 456
- Volumes 1
- Language ENG
- Publisher Springer, New York
- Date 1997-01-17
- Illustrated Yes
- Features Bibliography, Illustrated, Index
- ISBN 9780387948935 / 0387948937
- Weight 1.8 lbs (0.82 kg)
- Dimensions 9.4 x 6.6 x 1.3 in (23.88 x 16.76 x 3.30 cm)
- Library of Congress subjects Logic, Symbolic and mathematical, Computer science - Mathematics
- Library of Congress Catalog Number 96043297
- Dewey Decimal Code 005.101
More Copies for Sale
Stock Photo: Cover May Be Different
Logic for Applications (Texts in Computer Science)
by Nerode, Anil
- Used
- Hardcover
- Condition
- Used: Good
- Edition
- 2nd
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780387948935 / 0387948937
- Quantity Available
- 1
- Seller
-
HOUSTON, Texas, United States
- Item Price
-
A$39.47FREE shipping to USA
Show Details
Item Price
A$39.47
FREE shipping to USA
Stock Photo: Cover May Be Different
Logic for Applications
by Nerode, A. and Shore, R.A.
- Used
- Hardcover
- Condition
- Used
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780387948935 / 0387948937
- Quantity Available
- 1
- Seller
-
Lincoln, Lincolnshire, United Kingdom
- Item Price
-
A$51.06A$24.53 shipping to USA
Show Details
Description:
Springer, 1997. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. Clean from markings. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1050grams, ISBN:9780387948935
Item Price
A$51.06
A$24.53
shipping to USA
Stock Photo: Cover May Be Different
Logic for Applications (Texts in Computer Science)
by Anil Nerode
- Used
- Acceptable
- Condition
- Used - Acceptable
- ISBN 10 / ISBN 13
- 9780387948935 / 0387948937
- Quantity Available
- 1
- Seller
-
Artesia, California, United States
- Item Price
-
A$66.22A$4.55 shipping to USA
Show Details
Description:
Acceptable. IMP: Acceptable- Do not include ACCESS CODE, CD-ROM or companion materials even if stated in item title. It may contain highlighting/markings throughout, and the covers and corners may show shelf wear. Corners, pages may be dent. All text is legible.
Item Price
A$66.22
A$4.55
shipping to USA
Stock Photo: Cover May Be Different
Logic for Applications (Texts in Computer Science)
by Nerode, Anil
- Used
- Good
- Hardcover
- Condition
- Used - Good
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780387948935 / 0387948937
- Quantity Available
- 1
- Seller
-
Newport Coast, California, United States
- Item Price
-
A$99.91FREE shipping to USA
Show Details
Description:
hardcover. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Item Price
A$99.91
FREE shipping to USA
Stock Photo: Cover May Be Different
Logic for Applications (Texts in Computer Science)
by Nerode, Anil; Shore, Richard A
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780387948935 / 0387948937
- Quantity Available
- 1
- Seller
-
San Diego, California, United States
- Item Price
-
A$125.65A$8.27 shipping to USA
Show Details
Description:
Springer, 1997-01-17. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Item Price
A$125.65
A$8.27
shipping to USA
Logic for Applications
by Anil Nerode
- New
- Hardcover
- Condition
- New
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780387948935 / 0387948937
- Quantity Available
- 990
- Seller
-
Uxbridge, Greater London, United Kingdom
- Item Price
-
A$238.49A$15.37 shipping to USA
Show Details
Description:
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Logic for Applications.
Item Price
A$238.49
A$15.37
shipping to USA