- 5 resultados
menor preço: € 15,00, preço mais alto: € 181,99, preço médio: € 90,04
1
Encomendar
no/na booklooker.de
€ 91,99
Envio: € 0,001
EncomendarLink patrocinado
Hackstaff, L. H.:

Systems of Formal Logic - encadernado, livro de bolso

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 … mais…

  - Custos de envio:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) buecher.de GmbH & Co. KG
2
Systems of Formal Logic - L.H. Hackstaff
Encomendar
no/na Orellfuessli.ch
CHF 197,00
(aproximadamente € 181,99)
Envio: € 16,631
EncomendarLink patrocinado

L.H. Hackstaff:

Systems of Formal Logic - encadernado, livro de bolso

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… mais…

Nr. 5612513. Custos de envio:, 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.
Encomendar
no/na ebooks.com
$ 99,00
(aproximadamente € 80,27)
EncomendarLink patrocinado
Hackstaff, L.H.:
Systems of Formal Logic - novo libro

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… mais…

  - Custos de envio:zzgl. Versandkosten., mais custos de envio
4
Systems of Formal Logic - L.H. Hackstaff
Encomendar
no/na amazon.co.uk
£ 72,00
(aproximadamente € 80,96)
Envio: € 4,951
EncomendarLink patrocinado
L.H. Hackstaff:
Systems of Formal Logic - encadernado, livro de bolso

ISBN: 902770077X

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

  - Neuware. Custos de envio: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.
Encomendar
no/na amazon.de
€ 15,00
Envio: € 3,001
EncomendarLink patrocinado
Hackstaff, L.H.:
Systems of Formal Logic - encadernado, livro de bolso

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… mais…

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

1Como algumas plataformas não transmitem condições de envio e estas podem depender do país de entrega, do preço de compra, do peso e tamanho do artigo, de uma possível adesão à plataforma, de uma entrega directa pela plataforma ou através de um terceiro fornecedor (Marketplace), etc., é possível que os custos de envio indicados pelo eurolivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro

Dados detalhados do livro - Systems of Formal Logic


EAN (ISBN-13): 9789027700773
ISBN (ISBN-10): 902770077X
Livro de capa dura
Ano de publicação: 1966
Editor/Editora: Springer
372 Páginas
Peso: 0,699 kg
Língua: eng/Englisch

Livro na base de dados desde 2009-05-27T01:11:45+01:00 (Lisbon)
Página de detalhes modificada pela última vez em 2023-01-19T17:32:27+00:00 (Lisbon)
Número ISBN/EAN: 902770077X

Número ISBN - Ortografia alternativa:
90-277-0077-X, 978-90-277-0077-3
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: hacks, hackstaff
Título do livro: systems formal logic


Dados da editora

Autor: L.H. Hackstaff
Título: Systems of Formal Logic
Editora: Springer; Springer Netherland
372 Páginas
Ano de publicação: 1966-07-31
Dordrecht; NL
Peso: 0,699 kg
Língua: Inglês
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=).

Outros livros adicionais, que poderiam ser muito similares com este livro:

Último livro semelhante:
9781519103178 Systems of Formal Logic (Kisak, Edited by Paul F.)


< Para arquivar...