Examinando Logic 541 - 560 de 1435 resultados

Libro electrónico
Adapting Proofs-as-Programs
The Curry--Howard Protocol
- Iman Poernomo; John N. Crossley; Martin Wirsing
- Springer
- Diseño fijo
A partir de:$68,569.35 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Fuzzy Logic
Mathematical Tools for Approximate Reasoning
- G. Gerla
- Springer
- Diseño fijo
A partir de:$42,753.90 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Foundations of Logic and Mathematics
Applications to Computer Science and Cryptography
- Yves Nievergelt
- Birkhäuser
- Diseño fijo
A partir de:$23,714.65 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Sheaves, Games, and Model Completions
A Categorical Approach to Nonclassical Propositional Logics
- Silvio Ghilardi; M. Zawadowski
- Springer
- Diseño fijo
A partir de:$42,753.90 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
A Logical Approach to Philosophy
Essays in Honour of Graham Solomon
- 1st Edición
- David DeVidi; ‎Tim Kenyon
- Springer
- Diseño fijo
A partir de:$42,694.12 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Mathematical Intuitionism and Intersubjectivity
A Critical Exposition of Arguments for Intuitionism
- Tomasz Placek
- Springer
- Diseño ajustable
A partir de:$35,773.05 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Real Analysis: Foundations
- Sergei Ovchinnikov
- Springer
- Diseño ajustable
A partir de:$21,808.72 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Logic Functions and Equations
Binary Models for Computer Science
- Christian Posthoff; Bernd Steinbach
- Springer
- Diseño fijo
A partir de:$38,808.53 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Cambridge and Vienna
Frank P. Ramsey and the Vienna Circle
- 1st Edición
- Maria C. Galavotti
- Springer
- Diseño fijo
A partir de:$42,694.12 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Logic, Rationality, and Interaction
6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
- Author
- Springer
- Diseño ajustable
A partir de:$23,920.08 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Noneist Explorations I
The Sylvan Jungle - Volume 2
- Richard Routley; Val Routley
- Springer
- Diseño fijo
A partir de:$72,918.98 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Combinatorial Set Theory
With a Gentle Introduction to Forcing
- 2nd Edición
- Lorenz J. Halbeisen
- Springer
- Diseño ajustable
A partir de:$73,839.80 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Computer Science Logic
16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September
- 1st Edición
- Julian Bradfield
- Springer
- Diseño fijo
A partir de:$42,694.12 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
General Topology
Metric Spaces, Dedekind Cut, Isometries, and Hilbert Cube
- 1st Edición
- Vipul Kakkar
- De Gruyter
- Diseño ajustable
$131,304.00 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Handbook of Automated Reasoning
- Robinson, Alan J.A.; Voronkov, Andrei
- North Holland
- Diseño fijo
$705,484.83 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Probabilistic Extensions of Various Logical Systems
- 1st Edición
- Zoran Ognjanović
- Springer
- Diseño fijo
A partir de:$43,755.81 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Provability, Computability and Reflection
- Beklemishev, Lev D.
- Elsevier Science
- Diseño fijo
$363,219.91 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Provability, Computability and Reflection
- 2nd Edición
- Beklemishev, Lev D.
- Elsevier Science
- Diseño fijo
$363,219.91 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
Fundamentals of Generalized Recursion Theory
- Fitting, M.
- North Holland
- Diseño fijo
$279,399.93 ARSEl precio incluye IVA
Ver detalles

Libro electrónico
What Is Mathematical Logic?
- 1st Edición
- Guillermo Badia
- OUP Oxford
- Diseño fijo
A partir de:$32,117.02 ARSEl precio incluye IVA
Ver detalles