Importados de Lógica

205 registros

1 / 3

A First Course in Fuzzy Logic

A First Course in Fuzzy Logic

Model Theory: Third Edition

Model Theory: Third Edition

Naive Set Theory

Naive Set Theory

Elements of Set Theory

Elements of Set Theory

Proofs and Refutations: The Logic of Mathematical Discovery (Cambridge Philosophy Classics) (English

Proofs and Refutations: The Logic of Mathematical Discovery (Cambridge Philosophy Classics) (English

Journey to the Edge of Reason: The Life of Kurt Gödel

Journey to the Edge of Reason: The Life of Kurt Gödel

Incompleteness: The Proof and Paradox of Kurt Godel: The Proof and Paradox of Kurt Gödel: 0

Incompleteness: The Proof and Paradox of Kurt Godel: The Proof and Paradox of Kurt Gödel: 0

W. W. Norton & Company Autor:Goldstein, Rebecca

Burden of Proof, Presumption and Argumentation

Burden of Proof, Presumption and Argumentation

The Everyday Life of an Algorithm (English Edition)

The Everyday Life of an Algorithm (English Edition)

The Music of the Primes: Why an unsolved problem in mathematics matters (Text Only) (English Edition

The Music of the Primes: Why an unsolved problem in mathematics matters (Text Only) (English Edition

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, He

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, He

Iceberg Semantics for Mass Nouns and Count Nouns: A New Framework for Boolean Semantics: 105

Iceberg Semantics for Mass Nouns and Count Nouns: A New Framework for Boolean Semantics: 105

Investigations into the Predicate Calculus

Investigations into the Predicate Calculus

MOD ABC PLUS OF MATHEMATICS (E) 11 (P1 & P2) (English Edition)

MOD ABC PLUS OF MATHEMATICS (E) 11 (P1 & P2) (English Edition)

Problem Solving Strategies: Crossing the River with Dogs and Other Mathematical Adventures

Problem Solving Strategies: Crossing the River with Dogs and Other Mathematical Adventures

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 1

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 1

The Joy of Abstraction: An Exploration of Math, Category Theory, and Life (English Edition)

The Joy of Abstraction: An Exploration of Math, Category Theory, and Life (English Edition)

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated

Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated

Alan Turing's Systems of Logic: The Princeton Thesis (English Edition)

Alan Turing's Systems of Logic: The Princeton Thesis (English Edition)

Énigmes mathématiques pour le collège 2024: Des énigmes stimulantes et des jeux de logique pour déve

Énigmes mathématiques pour le collège 2024: Des énigmes stimulantes et des jeux de logique pour déve

Once Upon A Number: The Hidden Mathematical Logic Of Stories (English Edition)

Once Upon A Number: The Hidden Mathematical Logic Of Stories (English Edition)

The Haskell Road to Logic, Maths and Programming. Second Edition: v. 4

The Haskell Road to Logic, Maths and Programming. Second Edition: v. 4

On Formally Undecidable Propositions of Principia Mathematica and Related Systems (Dover Books on Ma

On Formally Undecidable Propositions of Principia Mathematica and Related Systems (Dover Books on Ma

Foundations of Software Science and Computation Structures: 25th International Conference, FOSSACS 2

Foundations of Software Science and Computation Structures: 25th International Conference, FOSSACS 2

Logic: A Very Short Introduction (Very Short Introductions) (English Edition)

Logic: A Very Short Introduction (Very Short Introductions) (English Edition)

Basic Simple Type Theory: 42

Basic Simple Type Theory: 42

The Art of Logic in an Illogical World

The Art of Logic in an Illogical World

Essential Mathematics for Undergraduates: A Guided Approach to Algebra, Geometry, Topology and Analy

Essential Mathematics for Undergraduates: A Guided Approach to Algebra, Geometry, Topology and Analy

Completely Regular Semigroup Varieties: Applications and Advanced Techniques (Synthesis Lectures on

Completely Regular Semigroup Varieties: Applications and Advanced Techniques (Synthesis Lectures on

The Amazing Journey of Reason: from DNA to Artificial Intelligence (SpringerBriefs in Computer Scien

The Amazing Journey of Reason: from DNA to Artificial Intelligence (SpringerBriefs in Computer Scien

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TA

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TA

Maths on the Back of an Envelope: Clever Ways to (Roughly) Calculate Anything

Maths on the Back of an Envelope: Clever Ways to (Roughly) Calculate Anything

Practical Mathematical Cryptography (Chapman & Hall/CRC Cryptography and Network Security Series) (E

Practical Mathematical Cryptography (Chapman & Hall/CRC Cryptography and Network Security Series) (E

The Story of Proof: Logic and the History of Mathematics

The Story of Proof: Logic and the History of Mathematics

Journey to the Edge of Reason: The Life of Kurt Gödel

Journey to the Edge of Reason: The Life of Kurt Gödel

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and A

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and A

The Annotated Gödel: A Reader's Guide to his Classic Paper on Logic and Incompleteness

The Annotated Gödel: A Reader's Guide to his Classic Paper on Logic and Incompleteness

Algebraizable Logics

Algebraizable Logics

The Foundations of Mathematics: v. 19

The Foundations of Mathematics: v. 19

A Friendly Introduction to Mathematical Logic

A Friendly Introduction to Mathematical Logic

The Art of Logic: How to Make Sense in a World that Doesn't

The Art of Logic: How to Make Sense in a World that Doesn't

Gödel Without (Too Many) Tears

Gödel Without (Too Many) Tears

The Foundations of Mathematics and Other Logical Essays

The Foundations of Mathematics and Other Logical Essays

Artificial Intelligence Versus Natural Intelligence

Artificial Intelligence Versus Natural Intelligence

An Investigation of the Laws of Thought

An Investigation of the Laws of Thought

Deep Learning with Python: Learn Best Practices of Deep Learning Models with Pytorch

Deep Learning with Python: Learn Best Practices of Deep Learning Models with Pytorch

Philosophical and Mathematical Logic

Philosophical and Mathematical Logic

Samurai Sudoku: 500 Medium to Very Hard Sudoku Puzzles Overlapping into 100 Samurai Style: 2

Samurai Sudoku: 500 Medium to Very Hard Sudoku Puzzles Overlapping into 100 Samurai Style: 2

Samurai Sudoku: 500 Medium Sudoku Puzzles Overlapping into 100 Samurai Style: 3

Samurai Sudoku: 500 Medium Sudoku Puzzles Overlapping into 100 Samurai Style: 3

Axiom of Choice: 1876

Axiom of Choice: 1876

The Equation of Knowledge: From Bayes' Rule to a Unified Philosophy of Science

The Equation of Knowledge: From Bayes' Rule to a Unified Philosophy of Science

The Philosophers and Mathematics: Festschrift for Roshdi Rashed: 43

The Philosophers and Mathematics: Festschrift for Roshdi Rashed: 43

De Mathematicae atque Philosophiae Elegantia. Notas Festivas para Abel Lassalle Casanave

De Mathematicae atque Philosophiae Elegantia. Notas Festivas para Abel Lassalle Casanave

Book of Proof

Book of Proof

Structural Complexity I: v. 1

Structural Complexity I: v. 1

Mathematical Logic: A Course with Exercisespart I: Propositional Calculus, Boolean Algebras, Predica

Mathematical Logic: A Course with Exercisespart I: Propositional Calculus, Boolean Algebras, Predica

Calcudoku 5x5 Puzzle Book Addition and Subtraction For Kids: Large Print Challenging Mathematical Pu

Calcudoku 5x5 Puzzle Book Addition and Subtraction For Kids: Large Print Challenging Mathematical Pu

Abductive Analysis: Theorizing Qualitative Research

Abductive Analysis: Theorizing Qualitative Research

Godel's Incompleteness Theorems: 19

Godel's Incompleteness Theorems: 19

Mathematics and Logic: Retrospect and Prospects

Mathematics and Logic: Retrospect and Prospects

Principia Mathematica

Principia Mathematica

A Beginner's Guide to Mathematical Logic

A Beginner's Guide to Mathematical Logic

104 Number Theory Problems: From the Training of the USA Imo Team

104 Number Theory Problems: From the Training of the USA Imo Team

My Best Mathematical and Logic Puzzles

My Best Mathematical and Logic Puzzles

Zermelo's Axiom of Choice: Its Origins, Development, and Influence

Zermelo's Axiom of Choice: Its Origins, Development, and Influence

Introduction to Logic: And to the Methodology of Deductive Sciences

Introduction to Logic: And to the Methodology of Deductive Sciences

Reading, Writing, and Proving: A Closer Look at Mathematics

Reading, Writing, and Proving: A Closer Look at Mathematics

Formal Languages and Compilation

Formal Languages and Compilation

An Illustrated Book of Bad Arguments: Learn the Lost Art of Making Sense: 0

An Illustrated Book of Bad Arguments: Learn the Lost Art of Making Sense: 0

Mastering Logical Fallacies: The Definitive Guide to Flawless Rhetoric and Bulletproof Logic

Mastering Logical Fallacies: The Definitive Guide to Flawless Rhetoric and Bulletproof Logic

Elements of ∞-Category Theory: 194

Elements of ∞-Category Theory: 194

Proof Theory of N4-Paraconsistent Logics

Proof Theory of N4-Paraconsistent Logics

Resultado: [ 1 a 72 ] num total de [ 205 ] registros.

Meu Guia do Bairro

Loja do Pilates

Camiseta Urbana

Loja Presente Ideal

Os Mais Vendidos

Ômega 3 Suplementos

Ideal Presentes

Raio X de Produto

Utilidades Braga

Andrade Melo Contabilidade

Camiseta Casual

Loja Personalizados

O Guia de Festas

Supernova Sites

Sex Shop Volúpia

Melhor Pet Shop