Importados de Lógica

205 registros

1.25 / 3

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

Numbers

Numbers

Mathematical Logic for Computer Science

Mathematical Logic for Computer Science

The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics: 82

The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics: 82

How to Prove It: A Structured Approach

How to Prove It: A Structured Approach

Sudoku Puzzles for Adults Hard to Extreme Large Print: 180 Challenging Puzzles from Hard, Very Hard,

Sudoku Puzzles for Adults Hard to Extreme Large Print: 180 Challenging Puzzles from Hard, Very Hard,

Basic Real Analysis

Basic Real Analysis

A Lambda Calculus Satellite

A Lambda Calculus Satellite

Mathematical Logic: A Course with Exercisespart II: Recursion Theory, Gödel's Theorems, Set Theory,

Mathematical Logic: A Course with Exercisespart II: Recursion Theory, Gödel's Theorems, Set Theory,

Handbook of Mathematical Fuzzy Logic, Volume 3

Handbook of Mathematical Fuzzy Logic, Volume 3

Mathematical Logic: 291

Mathematical Logic: 291

Everything and More: A Compact History of Infinity

Everything and More: A Compact History of Infinity

Infinity: New Research Frontiers

Infinity: New Research Frontiers

Code Warriors: Nsa's Codebreakers and the Secret Intelligence War Against the Soviet Union

Code Warriors: Nsa's Codebreakers and the Secret Intelligence War Against the Soviet Union

Vintage autor, Nome:Budiansky, Stephen Capa comum

The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Funct

The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems, and Computable Funct

Introduction to Mathematical Philosophy

Introduction to Mathematical Philosophy

The Continuum: A Critical Examination of the Foundation of Analysis

The Continuum: A Critical Examination of the Foundation of Analysis

Computability

Computability

Hard Large Print Sudoku Puzzle Book for Adults and Seniors: 100 Puzzles for Advanced Players with Ti

Hard Large Print Sudoku Puzzle Book for Adults and Seniors: 100 Puzzles for Advanced Players with Ti

Resultado: [ 19 a 90 ] 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