Placeholder text

First-Order Logic

First-Order Logic Mathematics

First-Order Logic

Only 1 item left in stock
Description
This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as an exposition of new results and techniques in "analytic" or "cut-free" methods. Presented in tableau format, the material covers propositional and first-order logic. 144 illustrations.
Product details
Binding:
Paperback
Number of Pages:
176
Release Date:
1995-01-30
Publication Date:
1995-01-30
Publisher:
Dover Publications
Languages:
Original: English
ISBN10:
0486683702
ISBN13:
9780486683706
GPSR Manufacturer Reference:
Weight:
231 g
Height:
136 cm
Width:
212 cm
Thickness:
12 cm

Condition

Show more

Show less

Good
The items bear minimal signs of past use, such as light scratches or memories in the form of markings. These signs of wear give the items a charming character and tell stories of their previous owners, while not affecting their functionality.
Available immediately
€7,49

Incl. VAT, plus shipping costs

PayPal
Visa
Mastercard
American Express
Only 1 item left in stock

Verified second-hand article

Verified second-hand item

Free shipping from 19€

€7,49