Specials

ORDER UP TO $299. AND RECEIVE 47% DISCOUNT

ORDER $300+ AND RECEIVE 47% DISCOUNT + FREE SHIPPING

ORDER $500+ FOR 50% DISCOUNT + FREE SHIPPING

* expires 1/1/2027 *

About the Brand

Since 1941, Dover has been publishing high-quality books at affordable prices in dozens of popular categories: adult coloring books, children activity books, fine art collections, crafts guides, math texts, music scores, thrift editions of classic literature, and much more.

Shop Brand Catalog
Dover Publications

First-Order Logic

  • SKU: 9780486683706
  • UPC: 9780486683706
LOGIN TO VIEW PRICING
Retail Price
Details

This self-contained study is both an introduction to quantification theory and an exposition of new results and techniques in "analytic" or "cut free" methods. The focus is on the tableau point of view. Includes 144 illustrations.



Have questions about “First-Order Logic”?

With over 100 brands and more than 1 million products,
we are your one-stop wholesale shop!

Avatar

Selling things that
make people happy.

Since 1975, we've been bringing together the industry's best brands and retailers. With our experienced sales team across 50 states, four stunning showrooms and 24/7 online marketplace, we make shopping fun and easy.