Expand menu
Basic Simple Type Theory: 42
Home
Importados de Programação de Computadores
Importados de Lógica
Importados de Matemática Discreta
Basic Simple Type Theory: 42
Comprar
Sua compra será finalizada na
AMAZON
.
Compartilhe:
Descrição do Produto
Você também pode gostar de:
A First Course in Fuzzy Logic
R$ 920,
66
Model Theory: Third Edition
R$ 144,
53
Naive Set Theory
R$ 58,
67
Elements of Set Theory
R$ 477,
38
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
R$ 344,
14
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
R$ 208,
03
The Everyday Life of an Algorithm (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
Iceberg Semantics for Mass Nouns and Count Nouns: A New Framework for Boolean Semantics: 105
R$ 984,
85
Investigations into the Predicate Calculus
R$ 237,
89
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
R$ 504,
61
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)
R$ 112,
59
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)
R$ 53,
72
Énigmes mathématiques pour le collège 2024: Des énigmes stimulantes et des jeux de logique pour déve
R$ 24,
22
Deseja Realmente Sair?
Clique em
"Sair"
para encerrar essa sessão.
Deseja Realmente Sair?
×
Clique em "Sair" para encerrar essa sessão.
Home
Menu
Topo
