Academic Press 1972 in8. 1972. Cartonné.
Reference : 100129716
Très Bon Etat intérieur propre bonne tenue
Un Autre Monde
M. Emmanuel Arnaiz
07.69.73.87.31
Conformes aux usages de la librairie ancienne.
Princeton, Princeton University Press, 1944. 8vo. Original stiff wrappers. IV,118,(2) pp. A fine copy.
First edition. The forerunner to Church's classic text book 'Introduction to Mathematical Logic, 1956'.
Plenum Press , Mathematical Concepts and Methods in Science and Engineering Malicorne sur Sarthe, 72, Pays de la Loire, France 1978 Book condition, Etat : Bon hardcover, editor's binding, under editor's printed dust-jacket grand In-8 1 vol. - 351 pages
1st edition Contents, Chapitres : Foreword, Preface, Contents, xiii, Text, 338 pages - 1. Statement systems and propositional calculus : Statement systems - Propositional calculus - Provable Wffs - Substitution theorems - Duality - Deducibility and completness - 2. Semantical systems and predicate calculus : Semantical systems - Predicate calculus - Provable Wffs - Substitution theorems - Duality - Deducibility and completness - 3. Applications : Nonstandard analysis - Normal semantical systems - Axiomatic set theory - Complete theories - Bibliography and index very small parts of the DJ are torn, without significant missings, else near fine copy, no markings
Springer-Verlag, 1979, in-8vo, X + 198 p., orig. clothbound.
Phone number : 41 (0)26 3223808