Skip to content

Logic for Applications
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

Logic for Applications (Texts in Computer Science)
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
Seller rating:
This seller has earned a 3 of 5 Stars rating from Biblio customers.
Item Price
A$39.47
FREE shipping to USA

Show Details

Description:
Springer, 1997-01-17. 2nd. hardcover. Used: Good.
Item Price
A$39.47
FREE shipping to USA
Logic for Applications
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$51.06
A$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
Logic for Applications (Texts in Computer Science)
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$66.22
A$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
Logic for Applications (Texts in Computer Science)
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$99.91
FREE 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
Logic for Applications (Texts in Computer Science)
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$125.65
A$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

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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$238.49
A$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