Examinando Logic 841 - 860 de 1435 resultados

Libro electrónico
Gödel's Proof
- Ernest Nagel; James R. Newman
- NYU Press
- Diseño ajustable
A partir de:S/ 15.11 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Reasoning and Formal Logic
- 1st Edición
- Richard L. Epstein
- Advanced Reasoning Forum
- Diseño fijo
S/ 43.62 PENEl precio incluye IGV
Ver detalles

Libro electrónico
An Introduction to Formal Logic
- 2nd Edición
- Richard L. Epstein
- Advanced Reasoning Forum
- Diseño fijo
S/ 80.57 PENEl precio incluye IGV
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:S/ 160.19 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Modern Logic 1850-1950, East and West
- Francine F. Abeles
- Birkhäuser
- Diseño fijo
A partir de:S/ 85.64 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Contextualism, Factivity and Closure
A Union That Should Not Take Place?
- Stefano Leardi; Nicla Vassallo
- Springer
- Diseño ajustable
A partir de:S/ 55.41 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Recursive Functions and Metamathematics
Problems of Completeness and Decidability, Gödel’s Theorems
- Roman Murawski
- Springer
- Diseño ajustable
A partir de:S/ 170.27 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Papers in Honour of Bernhard Banaschewski
Proceedings of the BB Fest 96, a Conference Held at the University of Cape Town, 15–20 July 1996, on Category Theory and its Applications to Topology, Order and Algebra
- 1st Edición
- Guillaume Brümmer; Christopher Gilmour
- Springer
- Diseño fijo
A partir de:S/ 160.19 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Concrete Abstractions
Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
- Wolfgang Schreiner
- Springer
- Diseño ajustable
A partir de:S/ 60.45 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Computability Theory: An Introduction to Recursion Theory
- Enderton, Herbert B.
- Academic Press
- Diseño fijo
S/ 268.50 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Logic, Mathematics, and Computer Science
Modern Foundations with Practical Applications
- 2nd Edición
- Yves Nievergelt
- Springer
- Diseño ajustable
A partir de:S/ 55.41 PENEl precio incluye IGV
Ver detalles

Libro electrónico
On the Study and Difficulties of Mathematics
- Augustus De Morgan
- Dover Publications
- Diseño ajustable
S/ 193.10 PENEl precio incluye IGV
Ver detalles

Libro electrónico
PROC OF THE 11TH ASIAN LOGIC CONF
In Honor of Professor Chong Chitat on His 60th Birthday
- Kim Byunghan
- World Scientific
- Diseño fijo
S/ 147.77 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Computable Structure Theory
A Unified Approach
- Rodney G. Downey; Alexander Melnikov
- Springer
- Diseño fijo
A partir de:S/ 129.97 PENEl precio incluye IGV
Ver detalles

Libro electrónico
The Rise of Modern Logic: from Leibniz to Frege: from Leibniz to Frege
- Gabbay, Dov M.; Woods, John
- North Holland
- Diseño fijo
S/ 906.74 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Robustness and Usability in Modern Design Flows
- Görschwin Fey; Rolf Drechsler
- Springer
- Diseño fijo
A partir de:S/ 99.74 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Ideals, Varieties, and Algorithms
An Introduction to Computational Algebraic Geometry and Commutative Algebra
- 5th Edición
- David A. Cox; John Little; Donal O'Shea
- Springer
- Diseño fijo
A partir de:S/ 90.67 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Applications of Model Theory to Functional Analysis
- Jose Iovino
- Dover Publications
- Diseño ajustable
S/ 43.49 PENEl precio incluye IGV
Ver detalles

Libro electrónico
Handbook of the Logic of Argument and Inference: The Turn Towards the Practical
- Johnson, R.H.; Ohlbach, H.J.; Gabbay, Dov M.; Woods, J.
- North Holland
- Diseño fijo
S/ 490.31 PENEl precio incluye IGV
Ver detalles

Libro electrónico
CAFE: An Industrial-Strength Algebraic Formal Method: An Industrial-Strength Algebraic Formal Method
- Futatsugi, K.; Nakagawa, A.T.; Tamai, T.
- Elsevier Science
- Diseño fijo
S/ 392.92 PENEl precio incluye IGV
Ver detalles