Typed Lambda Calculi and Applications: 6th International Conference, Tlca 2003, Valencia, Spain, Jun

Typed Lambda Calculi and Applications: 6th International Conference, Tlca 2003, Valencia, Spain, Jun

Typed Lambda Calculi and Applications: 6th International Conference, Tlca 2003, Valencia, Spain, Jun

Typed Lambda Calculi and Applications: 6th International Conference, Tlca 2003, Valencia, Spain, Jun

Typed Lambda Calculi and Applications: 6th International Conference, Tlca 2003, Valencia, Spain, Jun

Typed Lambda Calculi and Applications: 6th International Conference, Tlca 2003, Valencia, Spain, Jun

Typed Lambda Calculi and Applications: 6th International Conference, Tlca 2003, Valencia, Spain, Jun

Sua compra será finalizada na AMAZON.

Compartilhe:

Descrição do Produto

Você também pode gostar de:

A First Course in Fuzzy Logic

A First Course in Fuzzy Logic

R$ 920,66

Model Theory: Third Edition

Model Theory: Third Edition

R$ 144,53

Naive Set Theory

Naive Set Theory

R$ 58,67

Elements of Set Theory

Elements of Set Theory

R$ 477,38

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

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

R$ 73,40

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

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

R$ 344,14

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

R$ 161,49

Burden of Proof, Presumption and Argumentation

Burden of Proof, Presumption and Argumentation

R$ 208,03

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

R$ 42,32

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

R$ 984,85

Investigations into the Predicate Calculus

Investigations into the Predicate Calculus

R$ 237,89

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

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

R$ 20,66

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

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

R$ 504,61

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)

R$ 112,59

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)

R$ 53,72

É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

R$ 24,22

Meu Guia do Bairro

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