Skip to Main Content
Sign in
My Account
Account Settings
Wish List
Order Status
My NOOK
Stores & Events
Help
It's Here!
Dan Brown's Inferno
FREE Express Shipping
with Membership
Summer Hits:
Get Your Vacation Reading Now
Father's Day Gifts:
Books, Electronics, More
Search
All Products
Books
NOOK Store
NOOK Books
Textbooks
Movies & TV
Music
Kids' Books
Marketplace
Rare Books
Newsstand
NOOK Catalogs
Calendars
Home & Gifts
Toys & Games
Search Over 30 Million Products
Shopping Bag
(
0 items
)
Spend $25,
Get FREE SHIPPING
Books
NOOK Books
NOOK
Textbooks
Newsstand
Teens
Kids
Toys & Games
Home & Gifts
Movies & TV
Music
Gift Cards
Deals & Offers
Showing
all
of
9
results for
J. Strother Moore
in
All Products
.
Sort by:
Top Matches
Best Selling
Price - Low to High
Price - High to Low
Title - A to Z
Title - Z to A
Newest to Oldest
Oldest to Newest
View:
View All
Page 1 of 1
View as:
Grid
List
Introduction To Abstract...
J. Strother Moore
Hardcover
$121.92
Piton: A Mechanically Verified...
J Strother Moore
Hardcover
$35.00
Computer-Aided Reasoning: ACL2...
Matt Kaufmann
Paperback
$379.00
Computer-Aided Reasoning: ACL2...
Matt Kaufmann
Hardcover
$363.84
Computer-Aided Reasoning: An...
Matt Kaufmann
Hardcover
$219.34
Computer-Aided Reasoning: An...
Matt Kaufmann
Paperback
$270.76
A Computational Logic Handbook
Robert S. Boyer
Hardcover
$9.90
The Correctness Problem in...
Robert S. Boyer
Hardcover
$10.13
A Computational Logic
Robert S. Boyer
Hardcover
$3.89
Sort by:
Top Matches
Best Selling
Price - Low to High
Price - High to Low
Title - A to Z
Title - Z to A
Newest to Oldest
Oldest to Newest
View:
View All
Page 1 of 1
View as:
Grid
List
