- 5 resultaten
laagste prijs: € 15,00, hoogste prijs: € 181,99, gemiddelde prijs: € 90,04
1
bestellen
bij booklooker.de
€ 91,99
verzending: € 0,001
bestellenGesponsorde link
Hackstaff, L. H.:

Systems of Formal Logic - gebonden uitgave, pocketboek

ISBN: 9789027700773

[ED: Hardcover], [PU: Springer Netherlands Springer, Berlin], The present work constitutes an effort to approach the subject of symbol ic logic at the elementary to intermediate level in … Meer...

  - Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) buecher.de GmbH & Co. KG
2
Systems of Formal Logic - L.H. Hackstaff
bestellen
bij Orellfuessli.ch
CHF 197,00
(ongeveer € 181,99)
verzending: € 16,631
bestellenGesponsorde link

L.H. Hackstaff:

Systems of Formal Logic - gebonden uitgave, pocketboek

1966, ISBN: 9789027700773

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… Meer...

Nr. 5612513. Verzendingskosten:, wird besorgt, Lieferzeit unbekannt, zzgl. Versandkosten, Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage. (EUR 16.63)
3
Systems of Formal Logic - Hackstaff, L.H.
bestellen
bij ebooks.com
$ 99,00
(ongeveer € 80,27)
bestellenGesponsorde link
Hackstaff, L.H.:
Systems of Formal Logic - nieuw boek

ISBN: 9789027700773

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… Meer...

  - Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten
4
Systems of Formal Logic - L.H. Hackstaff
bestellen
bij amazon.co.uk
£ 72,00
(ongeveer € 80,96)
verzending: € 4,951
bestellenGesponsorde link
L.H. Hackstaff:
Systems of Formal Logic - gebonden uitgave, pocketboek

ISBN: 902770077X

Hardcover, [EAN: 9789027700773], Kluwer Academic Publishers, Kluwer Academic Publishers, Book, [PU: Kluwer Academic Publishers], 1966-07-31, Kluwer Academic Publishers, 276315, Philosophy… Meer...

  - Neuware. Verzendingskosten:Europa Zone 1: GBP 5,48 pro Produkt.. Temporarily out of stock. Order now and we'll deliver when available. We'll e-mail you with an estimated delivery date as soon as we have more information. Your credit card will not be charged until we ship the item. (EUR 4.95) Amazon.co.uk
5
Systems of Formal Logic - Hackstaff, L.H.
bestellen
bij amazon.de
€ 15,00
verzending: € 3,001
bestellenGesponsorde link
Hackstaff, L.H.:
Systems of Formal Logic - gebonden uitgave, pocketboek

1966, ISBN: 9789027700773

Springer, Gebundene Ausgabe, Auflage: 1966, 372 Seiten, Publiziert: 1966-07-31T00:00:01Z, Produktgruppe: Buch, 1.54 kg, Logik, Philosophie, Sozialwissenschaft, Kategorien, Bücher, Film, K… Meer...

Gut Verzendingskosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) ralfs-buecherkiste

1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek

Gedetalleerde informatie over het boek. - Systems of Formal Logic


EAN (ISBN-13): 9789027700773
ISBN (ISBN-10): 902770077X
Gebonden uitgave
Verschijningsjaar: 1966
Uitgever: Springer
372 Bladzijden
Gewicht: 0,699 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2009-05-27T02:11:45+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-01-19T18:32:27+01:00 (Amsterdam)
ISBN/EAN: 902770077X

ISBN - alternatieve schrijfwijzen:
90-277-0077-X, 978-90-277-0077-3
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: hacks, hackstaff
Titel van het boek: systems formal logic


Gegevens van de uitgever

Auteur: L.H. Hackstaff
Titel: Systems of Formal Logic
Uitgeverij: Springer; Springer Netherland
372 Bladzijden
Verschijningsjaar: 1966-07-31
Dordrecht; NL
Gewicht: 0,699 kg
Taal: Engels
85,55 € (DE)
87,95 € (AT)
106,71 CHF (CH)
Contact supplier
372 p.

BB; Logic; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; formal logic; logic; propositional calculus; symbolic logic; Logic; BC; EA

1 Introduction: Some Concepts and Definitions.- 1.0 Arguments and Argument Forms.- 1.1 Symbolic Logic and its Precursors.- 1.2 Symbolization.- 1.3 Logical Functors and Their Definitions.- 1.4 Tests of Validity Using Truth-tables.- 1.5 Proof and Derivation.- 1.6 The Axiomatic Method.- 1.7 Interpreted and Uninterpreted Systems.- 1.8 The Hierarchy of Logical Systems.- 1.9 The Systems of the Present Book.- 1.10 Abbreviations.- 2 The System P+.- 2.1 Summary.- 2.2 Rules of Formation of P+.- 2.3 Rules of Transformation of P+.- 2.4 Axioms of P+.- 2.5 Definitions of P+.- 2.6 Deductions in P+.- 3 Standard Systems with Negation (PLT, PLT’, PLTF, PPM).- 3.1 Summary.- 3.2 Rules of Formation of PLT.- 3.3 Rules of Transformation of PLT.- 3.4 Axioms of PLT.- 3.5 Definitions of PLT.- 3.6 Deductions in PLT.- 3.7 The Deduction Theorem.- 3.8 The System PLT’.- 3.9 Independence of Functors and Axioms.- 4 The System PND. Systems of Natural Deduction.- 4.1 Summary.- 4.2 The Bases of the System PND.- 4.3 Proof and Derivation Techniques in PND.- 4.4 Rules of Formation of PND.- 4.5 The Structure of Proofs in PND.- 4.6 Rules of Transformation of PND.- 4.7 Proofs and Theorems of the System PND.- 4.8 Theorems of the Full System PND.- 4.9 A Decision Procedure for the System PND.- 4.10 A Reduction of PND.- 5 The Consistency and Completeness of Formal Systems.- 5.1 Summary.- 5.2 The Consistency of PLT’.- 5.3 The Completeness of PLT’.- 5.4 Metatheorems on P+.- 6 Some Non-Standard Systems of Propositional Logic.- 6.1 Summary.- 6.2 What is a Non-Standard System?.- 6.3 The Intuitionistic System and the Fitch Calculus (PI and PF).- 6.4 Rules of Formation of PI.- 6.5 Rules of Transformation of PI.- 6.6 Axioms of PI.- 6.7 Definitions of PI.- 6.8 Deductions in PI.- 6.9 The Propositional Logic of F.B. Fitch.- 6.10 The Johansson Minimum Calculus.- 7 The Lower Functional Calculus.- 7.1 Summary and Remarks.- 7.2 Rules of Formation of LFLT’.- 7.3 Transformation of LFLT’.- 7.4 Axioms of LFLT’.- 7.5 Definitions of LFLT’.- 7.6 Some Applications and Illustrations.- 7.7 Rules of Transformation of LFLT’.- 7.8 Axioms of LFLT’.- 7.9 The Propositional Calculus and LFLT’.- 7.10 Deductions in LFLT’.- 8 An Extension of LFLT’ and Some Theorems of the Higher Functional System. The Calculus of Classes.- 8.1 Summary and Modification of the Formation Rules of LFLT’.- 8.2 The Lower Functional Calculus with Identity.- 8.3 Quantification over Predicate Variables. The System 2FLT’=.- 8.4 Abstraction and the Boolean Algebra.- 8.5 The Boolean Algebra and Propositional Logic.- 9 The Logical Paradoxes.- 9.1 Self Membership.- 9.2 The Russell Paradox.- 9.3 Order Distinctions, Levels of Language, and the Semantic Paradoxes.- 9.4 The Consistency of LFLT’.- 9.5 The Decision Problem.- 9.6 Consistency and Decision in Higher Functional Systems.- 10 Non-Standard Functional Systems.- 10.1 Summary.- 10.2 Intuitionistic and Johansson Functional Logics.- 10.3 The Fitch Functional Calculus of the First Order with Identity (LFFF=).

Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9781519103178 Systems of Formal Logic (Kisak, Edited by Paul F.)


< naar Archief...