Importados de Lógica

205 registros

2 / 3

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

How to Solve It: A New Aspect of Mathematical Method (Princeton Science Library Book 34) (English Ed

How to Solve It: A New Aspect of Mathematical Method (Princeton Science Library Book 34) (English Ed

Tebok Grid Paper Notebook for Math and Science Students, Quad Ruled 4x4 ( 110 Pages, 8.5 x 11 in)

Tebok Grid Paper Notebook for Math and Science Students, Quad Ruled 4x4 ( 110 Pages, 8.5 x 11 in)

Tebok Grid Paper Notebook for Math and Science Students, Quad Ruled 4x4 ( 110 Pages, 8.5 x 11 in)

Tebok Grid Paper Notebook for Math and Science Students, Quad Ruled 4x4 ( 110 Pages, 8.5 x 11 in)

Mathematical Maturity Via Discrete Mathematics

Mathematical Maturity Via Discrete Mathematics

Proof Theory: The First Step Into Impredicativity

Proof Theory: The First Step Into Impredicativity

San valentine's Sudoku with special icons volume 2: 100 Puzzles Easy level, perfect gift for san va

San valentine's Sudoku with special icons volume 2: 100 Puzzles Easy level, perfect gift for san va

A Profile of Mathematical Logic

A Course on Basic Model Theory

A Course on Basic Model Theory

Writing Proofs in Analysis

Writing Proofs in Analysis

Price-Forecasting Models for First Internet Bancorp INBK Stock: 1599

Price-Forecasting Models for First Internet Bancorp INBK Stock: 1599

Schaum's Outline of Probability, Third Edition

Schaum's Outline of Probability, Third Edition

Leveraging Applications of Formal Methods, Verification, and Validation: 6th International Symposium

Leveraging Applications of Formal Methods, Verification, and Validation: 6th International Symposium

Can You Solve My Problems?: Ingenious, Perplexing, and Totally Satisfying Math and Logic Puzzles: 0

Can You Solve My Problems?: Ingenious, Perplexing, and Totally Satisfying Math and Logic Puzzles: 0

Number Theory and Its Applications II

Number Theory and Its Applications II

An Introduction to the Language of Category Theory

An Introduction to the Language of Category Theory

Einführung in Die Mengenlehre

Einführung in Die Mengenlehre

Mathematical Bridges

Mathematical Bridges

Handbook of Mathematical Fuzzy Logic. Volume 2

Handbook of Mathematical Fuzzy Logic. Volume 2

Matematica: equazioni e disequazioni

Matematica: equazioni e disequazioni

99 Variations on a Proof

99 Variations on a Proof

Handbook of Metric Fixed Point Theory

Handbook of Metric Fixed Point Theory

Multi-Criteria Decision Making Methods with Bipolar Fuzzy Sets

Multi-Criteria Decision Making Methods with Bipolar Fuzzy Sets

Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium,

Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium,

Introducing Infinity: A Graphic Guide

Introducing Infinity: A Graphic Guide

Infinity: A Very Short Introduction

Infinity: A Very Short Introduction

The Language of Mathematics: The Stories Behind the Symbols

The Language of Mathematics: The Stories Behind the Symbols

An Introduction to Semi-Tensor Product of Matrices and Its Applications

An Introduction to Semi-Tensor Product of Matrices and Its Applications

Soft Computing Methods in Human Sciences: 134

Soft Computing Methods in Human Sciences: 134

Topos Theory

Topos Theory

Sparsity: Graphs, Structures, and Algorithms: 28

Sparsity: Graphs, Structures, and Algorithms: 28

Logics of Time and Computation: Volume 7

Logics of Time and Computation: Volume 7

Forcing, Iterated Ultrapowers, and Turing Degrees: 29

Forcing, Iterated Ultrapowers, and Turing Degrees: 29

Mathematical Logic in Asia - Proceedings of the 9th Asian Logic Conference

Mathematical Logic in Asia - Proceedings of the 9th Asian Logic Conference

The Art of Logic in an Illogical World

The Art of Logic in an Illogical World

Basic Books inglês

Lectures on the Philosophy of Mathematics

Lectures on the Philosophy of Mathematics

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Natural Deduction: A Proof-Theoretical Study

Natural Deduction: A Proof-Theoretical Study

Quo Vadis Computational Intelligence?: New Trends and Approaches in Computational Intelligence: 54

Quo Vadis Computational Intelligence?: New Trends and Approaches in Computational Intelligence: 54

Introduction to Symbolic Logic and Its Applications

Introduction to Symbolic Logic and Its Applications

Computing in Horn Clause Theories

Computing in Horn Clause Theories

Meaning and Intentionality. A Dialogical Approach

Meaning and Intentionality. A Dialogical Approach

Modern Uses of Multiple-Valued Logic: Invited Papers from the Fifth International Symposium on Multi

Modern Uses of Multiple-Valued Logic: Invited Papers from the Fifth International Symposium on Multi

Handbook of Mathematical Fuzzy Logic. Volume 1

Handbook of Mathematical Fuzzy Logic. Volume 1

Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers: The Theory of Funct

Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers: The Theory of Funct

Puzzle Me Twice: 70 Simple Puzzles (Almost) Everyone Gets Wrong

Puzzle Me Twice: 70 Simple Puzzles (Almost) Everyone Gets Wrong

Samurai Sudoku: 1000 Hard Sudoku Puzzles Overlapping into 200 Samurai Style: 77

Samurai Sudoku: 1000 Hard Sudoku Puzzles Overlapping into 200 Samurai Style: 77

The Number System

The Number System

Fuzzy Logic Theory and Applications: Part I and Part II

Fuzzy Logic Theory and Applications: Part I and Part II

An Investigation of the Laws of Thought, on Which are Founded the Mathematical Theories of Logic and

An Investigation of the Laws of Thought, on Which are Founded the Mathematical Theories of Logic and

Tractatus Logico-Philosophicus

Tractatus Logico-Philosophicus

Theoretical Computer Science for the Working Category Theorist

Theoretical Computer Science for the Working Category Theorist

Mathematical Logic and Computation

Mathematical Logic and Computation

Proofs That Really Count: The Art of Combinatorial Proof: 27

Proofs That Really Count: The Art of Combinatorial Proof: 27

Book of Proof

Book of Proof

Resultado: [ 73 a 144 ] 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