Blader Artikelen in Filosofie

14 artikelen gevonden. Resultaten 1 weergeven in 14
Proofs and Refutations - The Logic of Mathematical Discovery

Proofs and Refutations - The Logic of Mathematical DiscoveryImre LakatosChapter 1 1. A problem and a conjecture 2. A proof 3. Criticism of the proof by counterexamples wh...

€3,50
wwf

3 biedingen  

First Course in Mathematical Logic

First Course in Mathematical LogicPatrick Suppes, Shirley Hill1. Symbolizing Sentences 2. Logical Inference 3. Truth and Validity 4. Truth Tables 5. Terms, Predicates, an...

€2,00
wwf

0 biedingen  

A Mathematical Introduction to Logic

A Mathematical Introduction to LogicHerbert B. Enderton0. Useful Facts about Sets 1. Sentential Logic 2. First-Order Logic 3. Undecidability 4. Second-Order Logic

€2,00
wwf

0 biedingen  

Logic for Mathematics and Computer Science

Logic for Mathematics and Computer ScienceStanley N. BurrisPart I. Quantifier-Free Logics 1. Form Aristotle to Boole 2. Propositional Logic 3. Equational Logic 4. Predica...

€2,00
wwf

0 biedingen  

Introduction à la Logique - Théorie de la démonstration

Introduction à la Logique - Théorie de la démonstrationRené David, Karim Nour, Christophe Raffalli1. Formules et démonstrations de la logique du premier ordre 2. Com...

€2,00
wwf

0 biedingen  

A First Course in Logic

A First Course in LogicShawn Hedman1. Propositional logic 2. Structures and first-order logic 3. Proof theory 4. Properties of first-order logic 5. First-order theories 6...

€5,50
wwf

6 biedingen  

Introduction to Mathematical Logic

Introduction to Mathematical LogicE. Mendelson1. The Propositional Calculus 2. Quantification Theory 3. Formal Number Theory 4. Axiomatic Set Theory 5. Effective Computab...

€2,00
wwf

1 bod  

Mathematical Logic

Mathematical LogicJ. Donald MonkPart I. Recursive Function Theory Part II. Elements of Logic Part III. Decidable and Undecidable Theories Part IV. Model Theory Part V. Un...

€3,00
wwf

3 biedingen  

Intuitionism

IntuitionismA. HeytingI. Disputation II. Arithmetic III. Spreads and species IV. Algebra V. Plane pointspecies VI. Measure and integration VII. Logic VIII. Controversial ...

€3,00
wwf

3 biedingen  

Propositional and Predicate Calculus - A Model of Argument

Propositional and Predicate Calculus - A Model of ArgumentDerek Goldrei1. Introduction 2. Propositions and truth assignments 3. Formal propositional calculus 4. Predicate...

€2,00
wwf

0 biedingen  

Logic and Structure

Logic and StructureDirk van Dalen0. Introduction 1. Predicate Logic 2. Compleness and Applications 3. Second Order Logic 4. Intuitionistic Logic 5. Normalisation 6. Göde...

€4,50
wwf

4 biedingen  

Mathematical Logic - A Course with Exercises

Mathematical Logic - A Course with ExercisesRené Cori, Daniel Lascar1. Propositional calculus 2. Boolean algebras 3. Predicate calculus 4. The completeness theorems

€2,00
wwf

0 biedingen  

Mathematical Logic

Mathematical LogicJoseph R. Shoenfield1. The Nature of Mathematical Logic 2. First-Order Theories 3. Theorems in First-Order Theories 4. The Characterization Problem 5. T...

€2,00
wwf

1 bod  

Logic for Mathematicians

Logic for MathematiciansA.G. Hamilton1. Informal statement calculus 2. Formal statement calculus 3. Informal predicate calculus 4. Formal predicate calculus 5. Mathematic...

€2,00
wwf

0 biedingen