Examinando Logic 861 - 880 de 1421 resultados

Libro electrónico
Mathematical Logic
- Stephen Cole Kleene
- Dover Publications
- Diseño ajustable
$447.84 MXN
Ver detalles

Libro electrónico
Threshold Logic
- 1st Edición
- Sze-Tsen Hu
- University of California Press
- Diseño ajustable
$537.58 MXN
Ver detalles

Libro electrónico
Gödel's Proof
- Ernest Nagel; James R. Newman
- NYU Press
- Diseño ajustable
A partir de:$80.77 MXN
Ver detalles

Libro electrónico
Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
- 2nd Edición
- Wolfgang Schreiner
- Springer
- Diseño fijo
A partir de:$430.79 MXN
Ver detalles

Libro electrónico
Intuitionistic Proof Versus Classical Truth
The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics
- Enrico Martino
- Springer
- Diseño ajustable
A partir de:$533.10 MXN
Ver detalles

Libro electrónico
The Map and the Territory
Exploring the Foundations of Science, Thought and Reality
- Springer
- Diseño ajustable
A partir de:$694.64 MXN
Ver detalles

Libro electrónico
The Determinacy of Long Games
- 1st Edición
- Itay Neeman
- De Gruyter
- Diseño fijo
$4,523.25 MXN
Ver detalles

Libro electrónico
Inner Models and Large Cardinals
- 1st Edición
- Martin Zeman
- De Gruyter
- Diseño fijo
$4,774.54 MXN
Ver detalles

Libro electrónico
Handbook of Proof Theory
- Buss, S.R.
- Elsevier Science
- Diseño fijo
$2,988.00 MXN
Ver detalles

Libro electrónico
Proof and Computation: Digitization in Mathematics, Computer Science, and Philosophy
- Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg
- World Scientific
- Diseño ajustable
$1,400.05 MXN
Ver detalles

Libro electrónico
Scenario Logic and Probabilistic Management of Risk in Business and Engineering
- 2nd Edición
- Evgueni D. Solojentsev
- Springer
- Diseño fijo
A partir de:$533.10 MXN
Ver detalles

Libro electrónico
Labelled Non-Classical Logics
- Luca Viganò
- Springer
- Diseño fijo
A partir de:$856.19 MXN
Ver detalles

Libro electrónico
Interactive Theorem Proving and Program Development
Coq’Art: The Calculus of Inductive Constructions
- Yves Bertot; Pierre Castéran
- Springer
- Diseño fijo
A partir de:$484.63 MXN
Ver detalles

Libro electrónico
Model-Based Reasoning in Scientific Discovery
- 1st Edición
- L. Magnani; ‎N.J. Nersessian; ‎Paul Thagard
- Springer
- Diseño fijo
A partir de:$1,717.76 MXN
Ver detalles

Libro electrónico
Soft Computing for Knowledge Discovery
Introducing Cartesian Granule Features
- James G. Shanahan
- Springer
- Diseño fijo
A partir de:$856.19 MXN
Ver detalles

Libro electrónico
Sets, Logic and Maths for Computing
- 3rd Edición
- David Makinson
- Springer
- Diseño ajustable
A partir de:$296.17 MXN
Ver detalles

Libro electrónico
Handbook of Weighted Automata
- 1st Edición
- Manfred Droste; Werner Kuich; Heiko Vogler
- Springer
- Diseño fijo
A partir de:$1,286.97 MXN
Ver detalles

Libro electrónico
Explanation and Proof in Mathematics
Philosophical and Educational Perspectives
- 1st Edición
- Gila Hanna; ‎Hans Niels Jahnke; ‎Helmut Pulte
- Springer
- Diseño ajustable
A partir de:$856.19 MXN
Ver detalles

Libro electrónico
Ideals, Varieties, and Algorithms
An Introduction to Computational Algebraic Geometry and Commutative Algebra
- 3rd Edición
- David A. Cox; John Little; DONAL OSHEA
- Springer
- Diseño fijo
A partir de:$296.17 MXN
Ver detalles

Libro electrónico
New Computational Paradigms
Changing Conceptions of What is Computable
- 1st Edición
- S. Barry Cooper; Andrea Sorbi; Benedikt Löwe
- Springer
- Diseño fijo
A partir de:$856.19 MXN
Ver detalles