Compară ofertele (1)
Prețurile sunt preluate automat din feed-urile magazinelor și pot diferi față de site-ul magazinului. Verifică prețul final la magazin.
Descriere First-Order Logic - Raymond M. Smullyan
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. \nThis 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.
Detalii
- Brand
- Dover Publications
- Categorie
- ENSTK
- EAN / GTIN
- 9780486683706
- Magazine
- 1
- Disponibilitate
- in stock
Produse similare
Dover Publications
Statistical and Inductive Probabilities - Hugues Leblanc
61,10 RON
libris.ro
Dover Publications
Vector Methods Applied to Differential Geometry, Mechanics, and Potential Theory - D. E. Rutherford
61,10 RON
libris.ro
Dover Publications
Late Victorian Interiors and Interior Details - William B. Tuthill
61,10 RON
libris.ro
Dover Publications
Favorite Irish Crochet Designs - Rita Weiss
61,10 RON
libris.ro
Dover Publications
Essential English Grammar - Philip Gucker
61,10 RON
libris.ro
Dover Publications
Big Book of Indian Beadwork Designs - Kay Doherty Bennett
61,10 RON
libris.ro
Dover Publications
The Journey and Ordeal of Cabeza de Vaca: His Account of the Disastrous First European Exploration of the American Southwest - Alvar Nunez Cabeza De Vaca
61,10 RON
libris.ro
Dover Publications
The Jewish State - Theodor Herzl
61,10 RON
libris.ro