Systems Formal Logic by Hackstaff (18 results)
Language: English
Published by Gordon and Breach, NY 1966
- Hardcover
Seller: Feldman's Books, Menlo Park, U.S.A.Feldman's Books
Contact seller4-star sellerHardcover. Condition: Fine. Dust Jacket Condition: Very Good to Fine. Enclosed a foldout paper titled "Summary of Rules and Laws for Major Axiomatic Systems in 'Systems of Formal Logic'" by Hackstaff.
- Hardcover
Seller: Zubal-Books, Since 1961, Cleveland, U.S.A.Zubal-Books, Since 1961
Contact seller5-star sellerCondition: Used - Very good
£ 41.41
£ 3.34 shippingShips within U.S.A.Quantity: 1 available
Condition: Very Good. *Price HAS BEEN REDUCED by 10% until Tuesday, May 26 (holiday SALE item)* 372 pp., hardcover, ownership markings to the front free endpaper and fore edge, else very good in an edge-worn dust jacket. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordere…d. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Published by D. Reidel Publishing Company 1966
- Hardcover
Seller: Anybook.com, Lincoln, United KingdomAnybook.com
Contact seller5-star sellerCondition: Used - Poor
£ 24.70
£ 13.60 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Add to basketCondition: Poor. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In poor condition, suitable as a reading copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,800grams, ISBN.
Published by D. Reidel Publishing Company 1966
- Hardcover
Seller: Libro Co. Italia Srl, San Casciano Val di Pesa, ItalyLibro Co. Italia Srl
Contact seller4-star sellerCondition: Used - Fine
£ 21.12
£ 18.13 shippingShips from Italy to U.S.A.Quantity: 1 available
Add to basketRilegato. Condition: fine. English Text.Dordrecht, 1966; bound, pp. 354, cm 15,5x22,5. Libro.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.43
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 47.77
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
Paperback. Condition: New.
- Softcover
Seller: Books Puddle, New York, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 68.06
£ 2.96 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 372.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 66.81
£ 12.50 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 372 pages. 9.02x5.98x0.84 inches. In Stock.
- Softcover
Seller: moluna, Greven, Germanymoluna
Contact seller4-star sellerCondition: New
£ 43.02
£ 42.31 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Reidel Dordrecht 1966
- Hardcover
Seller: ralfs-buecherkiste, Herzfelde, Germanyralfs-buecherkiste
Contact seller5-star sellerCondition: Used - Very good
£ 13.34
£ 90.67 shippingShips from Germany to U.S.A.Quantity: 1 available
Add to basketCloth. Condition: Gut. 353 Guter Zustand/ Good Ex-Library. ha1054181 Sprache: Englisch Gewicht in Gramm: 650.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 53.34
£ 54.14 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The present work constitutes an effort to approach the subject of symbol ic logic at the elementary to intermediate level in a novel way. The book is a study of a number of systems, their methods, their rela tions, their differences. In pursuit of…this goal, a chapter explaining basic concepts of modern logic together with the truth-table techniques of definition and proof is first set out. In Chapter 2 a kind of ur-Iogic is built up and deductions are made on the basis of its axioms and rules. This axiom system, resembling a propositional system of Hilbert and Ber nays, is called P +, since it is a positive logic, i. e. , a logic devoid of nega tion. This system serves as a basis upon which a variety of further sys tems are constructed, including, among others, a full classical proposi tional calculus, an intuitionistic system, a minimum propositional calcu lus, a system equivalent to that of F. B. Fitch (Chapters 3 and 6). These are developed as axiomatic systems. By means of adding independent axioms to the basic system P +, the notions of independence both for primitive functors and for axiom sets are discussed, the axiom sets for a number of such systems, e. g. , Frege's propositional calculus, being shown to be non-independent. Equivalence and non-equivalence of systems are discussed in the same context. The deduction theorem is proved in Chapter 3 for all the axiomatic propositional calculi in the book.
- Softcover
Seller: Mispah books, Redhill, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
£ 90.00
£ 25.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. Like New. book.
- Hardcover
Seller: Buchpark, Trebbin, GermanyBuchpark
Contact seller5-star sellerCondition: Used - Very good
£ 44.84
£ 90.67 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: Gut. Zustand: Gut | Seiten: 372 | Sprache: Englisch | Produktart: Bücher | The present work constitutes an effort to approach the subject of symbol ic logic at the elementary to intermediate level in a novel way. The book is a study of a number of systems, their methods, their rela tions, their differences. In pursu…it of this goal, a chapter explaining basic concepts of modern logic together with the truth-table techniques of definition and proof is first set out. In Chapter 2 a kind of ur-Iogic is built up and deductions are made on the basis of its axioms and rules. This axiom system, resembling a propositional system of Hilbert and Ber nays, is called P +, since it is a positive logic, i. e. , a logic devoid of nega tion. This system serves as a basis upon which a variety of further sys tems are constructed, including, among others, a full classical proposi tional calculus, an intuitionistic system, a minimum propositional calcu lus, a system equivalent to that of F. B. Fitch (Chapters 3 and 6). These are developed as axiomatic systems. By means of adding independent axioms to the basic system P +, the notions of independence both for primitive functors and for axiom sets are discussed, the axiom sets for a number of such systems, e. g. , Frege's propositional calculus, being shown to be non-independent. Equivalence and non-equivalence of systems are discussed in the same context. The deduction theorem is proved in Chapter 3 for all the axiomatic propositional calculi in the book.
Published by D. Reidel, Holland 1966
- Hardcover
- First Edition
Seller: North Books: Used & Rare, Manchester, U.S.A.North Books: Used & Rare
Contact seller5-star sellerHardcover. First Edition, First Printing. 6 x 9in. xi. 354pp. Publisher's cloth boards. FINE/AS NEW in Fine/As New dust jacket. A flawless, perfect copy. As pictured.
Language: English
Published by Springer Netherlands, Springer Okt 2011 2011
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
£ 47.57
£ 19.86 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The present work constitutes an effort to approach the subject of symbol ic logic at the elementary to intermediate level in a novel way. The book is a study of a number of systems, their methods, their rela tions, their differences…. In pursuit of this goal, a chapter explaining basic concepts of modern logic together with the truth-table techniques of definition and proof is first set out. In Chapter 2 a kind of ur-Iogic is built up and deductions are made on the basis of its axioms and rules. This axiom system, resembling a propositional system of Hilbert and Ber nays, is called P +, since it is a positive logic, i. e. , a logic devoid of nega tion. This system serves as a basis upon which a variety of further sys tems are constructed, including, among others, a full classical proposi tional calculus, an intuitionistic system, a minimum propositional calcu lus, a system equivalent to that of F. B. Fitch (Chapters 3 and 6). These are developed as axiomatic systems. By means of adding independent axioms to the basic system P +, the notions of independence both for primitive functors and for axiom sets are discussed, the axiom sets for a number of such systems, e. g. , Frege's propositional calculus, being shown to be non-independent. Equivalence and non-equivalence of systems are discussed in the same context. The deduction theorem is proved in Chapter 3 for all the axiomatic propositional calculi in the book. 372 pp. Englisch.
- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 67.57
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand pp. 372 23:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on White w/Gloss Lam.
- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 70.29
£ 8.59 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 372.
Language: English
Published by Springer, Springer Netherlands Okt 2011 2011
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
£ 47.57
£ 51.81 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The present work constitutes an effort to approach the subject of symbol ic logic at the elementary to intermediate level in a novel way. The book is a study of a number of systems, their methods, their rela tions, their differences. In… pursuit of this goal, a chapter explaining basic concepts of modern logic together with the truth-table techniques of definition and proof is first set out. In Chapter 2 a kind of ur-Iogic is built up and deductions are made on the basis of its axioms and rules. This axiom system, resembling a propositional system of Hilbert and Ber nays, is called P +, since it is a positive logic, i. e. , a logic devoid of nega tion. This system serves as a basis upon which a variety of further sys tems are constructed, including, among others, a full classical proposi tional calculus, an intuitionistic system, a minimum propositional calcu lus, a system equivalent to that of F. B. Fitch (Chapters 3 and 6). These are developed as axiomatic systems. By means of adding independent axioms to the basic system P +, the notions of independence both for primitive functors and for axiom sets are discussed, the axiom sets for a number of such systems, e. g. , Frege's propositional calculus, being shown to be non-independent. Equivalence and non-equivalence of systems are discussed in the same context. The deduction theorem is proved in Chapter 3 for all the axiomatic propositional calculi in the book.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 372 pp. Englisch.
