B-Days hasta 60% OFF en Stock Limitado  Ver más

Enviar a
Quito, Pichincha
0

Mi Cuenta

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menú

Selecciona tu país

América

Europa

Resto del mundo

    Estás en:
  1. Inicio 
  2. Libros 
  3. 1 Matemáticas y ciencias  Matemáticas  Fundamentos matemáticos  Lógica matemática

Libros de Lógica matemática

Encontramos 2.714 Libros

Estado:TodosNuevosUsadosAnticuariosNuevo
The Legacy of Kurt Schütte (en Inglés)

The Legacy of Kurt Schütte (en Inglés)

Kahle, Reinhard ; Rathjen, Michael
Springer, Tapa Dura, Nuevo
45%
dcto.

$ 220.80

$ 121.44
The Semantic Web: 16th International Conference, Eswc 2019, Portoroz, Slovenia, June 2-6, 2019, Proceedings (en Inglés)

The Semantic Web: 16th International Conference, Eswc 2019, Portoroz, Slovenia, June 2-6, 2019, Proceedings (en Inglés)

Hitzler, Pascal ; Fernández, Miriam ; Janowicz, Krzysztof
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 175.80

$ 96.69
Mathematics, Logic, and Their Philosophies: Essays in Honour of Mohammad Ardeshir (en Inglés)

Mathematics, Logic, and Their Philosophies: Essays in Honour of Mohammad Ardeshir (en Inglés)

Mojtahedi, Mojtaba ; Rahman, Shahid ; Zarepour, Mohammad Saleh
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 220.80

$ 121.44
Advances in Information Retrieval: 43rd European Conference on IR Research, Ecir 2021, Virtual Event, March 28 - April 1, 2021, Proceedings, Part I (en Inglés)

Advances in Information Retrieval: 43rd European Conference on IR Research, Ecir 2021, Virtual Event, March 28 - April 1, 2021, Proceedings, Part I (en Inglés)

Hiemstra, Djoerd ; Moens, Marie-Francine ; Mothe, Josiane
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 223.90

$ 123.14
lattice-valued logic: an alternative approach to treat fuzziness and incomparability (en Inglés)

lattice-valued logic: an alternative approach to treat fuzziness and incomparability (en Inglés)

Xu, Yang ; Ruan, Da ; Qin, Keyun
Springer, 2010, Tapa Blanda, Nuevo
45%
dcto.

$ 287.77

$ 158.27
Automated Reasoning: 11th International Joint Conference, Ijcar 2022, Haifa, Israel, August 8-10, 2022, Proceedings (en Inglés)

Automated Reasoning: 11th International Joint Conference, Ijcar 2022, Haifa, Israel, August 8-10, 2022, Proceedings (en Inglés)

Blanchette, Jasmin ; Kovács, Laura ; Pattinson, Dirk
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 102.61

$ 56.43
A Protocol-Theoretic Framework for the Logic of Epistemic Norms (en Inglés)

A Protocol-Theoretic Framework for the Logic of Epistemic Norms (en Inglés)

Jenkins, Ralph
Springer, Tapa Dura, Nuevo
45%
dcto.

$ 190.80

$ 104.94
a tribute to prof. dr. da ruan (en Inglés)

a tribute to prof. dr. da ruan (en Inglés)

Lu, Jie ; Kerre, Etienne
Springer, Tapa Dura, Nuevo
45%
dcto.

$ 190.80

$ 104.94
foundations of information and knowledge systems (en Inglés)

foundations of information and knowledge systems (en Inglés)

Lukasiewicz, Thomas ; Sali, Attila
Springer, 2012, Tapa Blanda, Nuevo
45%
dcto.

$ 108.30

$ 59.56
logical aspects of computational linguistics: 7th international conference, lacl 2012, nantes, france, july 2-4, 2012, proceedings (en Inglés)

logical aspects of computational linguistics: 7th international conference, lacl 2012, nantes, france, july 2-4, 2012, proceedings (en Inglés)

Bechet, Denis ; Dikovsky, Alexandre
Springer, 2012, Tapa Blanda, Nuevo
45%
dcto.

$ 108.30

$ 59.56
The Priority of Propositions. a Pragmatist Philosophy of Logic (en Inglés)

The Priority of Propositions. a Pragmatist Philosophy of Logic (en Inglés)

Frápolli, María José
Springer, Tapa Dura, Nuevo
45%
dcto.

$ 220.80

$ 121.44
Combinatorics on Words: 14th International Conference, Words 2023, Umeå, Sweden, June 12-16, 2023, Proceedings (en Inglés)

Combinatorics on Words: 14th International Conference, Words 2023, Umeå, Sweden, June 12-16, 2023, Proceedings (en Inglés)

Frid, Anna ; Mercaş, Robert
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 160.80

$ 88.44
Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings (en Inglés)

Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings (en Inglés)

Katsaros, Panagiotis ; Nenzi, Laura
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 145.80

$ 80.19
Boolean Algebras (en Inglés)

Boolean Algebras (en Inglés)

Sikorski, Roman
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 108.30

$ 59.56
regulated rewriting in formal language theory (en Inglés)

regulated rewriting in formal language theory (en Inglés)

Dassow, Jürgen ; Paun, Gheorghe
Springer, 2011, Tapa Blanda, Nuevo
45%
dcto.

$ 190.80

$ 104.94
automation of reasoning: classical papers on computational logic 1957 1966 (en Inglés)

automation of reasoning: classical papers on computational logic 1957 1966 (en Inglés)

Siekmann, J. ; Wrightson, G.
Springer, 2012, Tapa Blanda, Nuevo
45%
dcto.

$ 213.78

$ 117.58
axiom of determinacy, forcing axioms, and the nonstationary ideal

axiom of determinacy, forcing axioms, and the nonstationary ideal

w. hugh woodin
walter de gruyter inc, Nuevo
40%
dcto.

$ 491.26

$ 294.76
Beyond Sets (en Inglés)

Beyond Sets (en Inglés)

Nicholas Rescher; Patrick Grim
De Gruyter, 2010, Tapa Dura, Nuevo
40%
dcto.

$ 206.01

$ 123.60
mechanizing hypothesis formation: mathematical foundations for a general theory (en Inglés)

mechanizing hypothesis formation: mathematical foundations for a general theory (en Inglés)

Hajek, P. ; Havranek, T.
Springer, 1978, Tapa Blanda, Nuevo
45%
dcto.

$ 120.18

$ 66.10
isilc - proof theory symposion (en Alemán)

isilc - proof theory symposion (en Alemán)

Springer, Nuevo
45%
dcto.

$ 94.82

$ 52.15
machine learning: ecml 2005: 16th european conference on machine learning, porto, portugal, october 3-7, 2005, proceedings (en Inglés)

machine learning: ecml 2005: 16th european conference on machine learning, porto, portugal, october 3-7, 2005, proceedings (en Inglés)

Gama, João ; Camacho, Rui ; Brazdil, Pavel
Springer, 2005, Tapa Blanda, Nuevo
45%
dcto.

$ 227.47

$ 125.11
deductive and object-oriented databases (en Inglés)

deductive and object-oriented databases (en Inglés)

Ceri, Stefano ; Tanaka, Katsumi ; Tsur, Shalom
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 108.30

$ 59.56
Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, Tableaux 2015, Wroclaw, Poland, September 21-24, 2015, (en Inglés)

Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, Tableaux 2015, Wroclaw, Poland, September 21-24, 2015, (en Inglés)

De Nivelle, Hans
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 108.30

$ 59.56
Causal Nets, Interventionism, and Mechanisms: Philosophical Foundations and Applications (Synthese Library)

Causal Nets, Interventionism, and Mechanisms: Philosophical Foundations and Applications (Synthese Library)

Alexander Gebharter
Springer, Tapa Dura, Nuevo
45%
dcto.

$ 175.80

$ 96.69
Felix Hausdorff - Gesammelte Werke Band III: Mengenlehre (1927, 1935) Deskripte Mengenlehre Und Topologie (en Alemán)

Felix Hausdorff - Gesammelte Werke Band III: Mengenlehre (1927, 1935) Deskripte Mengenlehre Und Topologie (en Alemán)

Felgner, Ulrich ; Hausdorff, Felix ; Herrlich, Horst
Springer, Tapa Dura, Nuevo
45%
dcto.

$ 352.23

$ 193.73
Introduction to Mathematica with Applications (en Inglés)

Introduction to Mathematica with Applications (en Inglés)

Mureşan, Marian
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 220.80

$ 121.44
Case-Based Reasoning Research and Development: 25th International Conference, Iccbr 2017, Trondheim, Norway, June 26-28, 2017, Proceedings (en Inglés)

Case-Based Reasoning Research and Development: 25th International Conference, Iccbr 2017, Trondheim, Norway, June 26-28, 2017, Proceedings (en Inglés)

AHA, David W. ; Lieber, Jean
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 108.30

$ 59.56
Theory and Applications of Models of Computation: 14th Annual Conference, Tamc 2017, Bern, Switzerland, April 20-22, 2017, Proceedings (en Inglés)

Theory and Applications of Models of Computation: 14th Annual Conference, Tamc 2017, Bern, Switzerland, April 20-22, 2017, Proceedings (en Inglés)

Gopal, T. V. ; Jäger, Gerhard ; Steila, Silvia
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 108.30

$ 59.56
Cultures of Mathematics and Logic: Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012 (en Inglés)

Cultures of Mathematics and Logic: Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012 (en Inglés)

Ju, Shier ; Löwe, Benedikt ; Müller, Thomas
Birkhauser, Tapa Blanda, Nuevo
45%
dcto.

$ 190.80

$ 104.94
Descriptional Complexity of Formal Systems: 18th Ifip Wg 1.2 International Conference, Dcfs 2016, Bucharest, Romania, July 5-8, 2016. Proceedings (en Inglés)

Descriptional Complexity of Formal Systems: 18th Ifip Wg 1.2 International Conference, Dcfs 2016, Bucharest, Romania, July 5-8, 2016. Proceedings (en Inglés)

Câmpeanu, Cezar ; Manea, Florin ; Shallit, Jeffrey
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 108.30

$ 59.56
The Hyperuniverse Project and Maximality (en Inglés)

The Hyperuniverse Project and Maximality (en Inglés)

Antos, Carolin ; Friedman, Sy-David ; Honzik, Radek
Birkhauser, Tapa Blanda, Nuevo
45%
dcto.

$ 160.80

$ 88.44
Implementation and Application of Automata: 22nd International Conference, Ciaa 2017, Marne-La-Vallée, France, June 27-30, 2017, Proceedings (en Inglés)

Implementation and Application of Automata: 22nd International Conference, Ciaa 2017, Marne-La-Vallée, France, June 27-30, 2017, Proceedings (en Inglés)

Carayol, Arnaud ; Nicaud, Cyril
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 108.30

$ 59.56
Cellular Automata and Discrete Complex Systems: 24th Ifip Wg 1.5 International Workshop, Automata 2018, Ghent, Belgium, June 20-22, 2018, Proceedings (en Inglés)

Cellular Automata and Discrete Complex Systems: 24th Ifip Wg 1.5 International Workshop, Automata 2018, Ghent, Belgium, June 20-22, 2018, Proceedings (en Inglés)

Baetens, Jan M. ; Kutrib, Martin
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 108.30

$ 59.56
Fuzzy Data Analysis (en Inglés)

Fuzzy Data Analysis (en Inglés)

Bandemer, Hans ; Näther, Wolfgang
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 280.80

$ 154.44
Truth and Falsehood: An Inquiry Into Generalized Logical Values (en Inglés)

Truth and Falsehood: An Inquiry Into Generalized Logical Values (en Inglés)

Shramko, Yaroslav ; Wansing, Heinrich
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 190.80

$ 104.94
Nonstandard Analysis and Vector Lattices (en Inglés)

Nonstandard Analysis and Vector Lattices (en Inglés)

Kutateladze, Semën Samsonovich
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 108.30

$ 59.56
Optimization Models Using Fuzzy Sets and Possibility Theory (en Inglés)

Optimization Models Using Fuzzy Sets and Possibility Theory (en Inglés)

Kacprzyk, J. ; Orlovski, S. a.
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 108.30

$ 59.56
formal methods: an introduction to symbolic logic and to the study of effective operations in arithmetic and logic (en Inglés)

formal methods: an introduction to symbolic logic and to the study of effective operations in arithmetic and logic (en Inglés)

beth, e. w.
springer, 1970, Nuevo
45%
dcto.

$ 190.80

$ 104.94
course of mathematical logic: volume 2 model theory (en Inglés)

course of mathematical logic: volume 2 model theory (en Inglés)

frahissbe, roland
springer, 1974, Nuevo
45%
dcto.

$ 108.30

$ 59.56
Course of Mathematical Logic: Volume 2 Model Theory (Synthese Library)

Course of Mathematical Logic: Volume 2 Model Theory (Synthese Library)

R. Fraïssé
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 108.30

$ 59.56
Griddlers Logic Puzzles: Black and White (en Inglés)

Griddlers Logic Puzzles: Black and White (en Inglés)

Rehak, Rastislav ; Maor, Elad ; Team, Griddlers
Griddlers.Net, Tapa Blanda, Nuevo
45%
dcto.

$ 59.57

$ 32.77
The Logico-Algebraic Approach to Quantum Mechanics: Volume II: Contemporary Consolidation (en Inglés)

The Logico-Algebraic Approach to Quantum Mechanics: Volume II: Contemporary Consolidation (en Inglés)

Hooker, C. a.
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 355.80

$ 195.69
automated model building (en Inglés)

automated model building (en Inglés)

caferra, ricardo
springer, 2010, Nuevo
45%
dcto.

$ 283.38

$ 155.86
Algebraic Theory of Automata and Languages (en Inglés)

Algebraic Theory of Automata and Languages (en Inglés)

Ito, Masami
World Scientific Publishing Company, 2004, Tapa Dura, Nuevo
45%
dcto.

$ 284.57

$ 156.52
Jewels of Stringology: Text Algorithms (en Inglés)

Jewels of Stringology: Text Algorithms (en Inglés)

Crochemore, Maxime ; Rytter, Wojciech
World Scientific Publishing Company, 2002, Tapa Dura, Nuevo
45%
dcto.

$ 324.26

$ 178.34
Mathematical Labyrinths. Pathfinding: 22 (Problem Solving in Mathematics and Beyond) (en Inglés)

Mathematical Labyrinths. Pathfinding: 22 (Problem Solving in Mathematics and Beyond) (en Inglés)

Boris Pritsker
Wspc, 2020, Tapa Blanda, Nuevo
50%
dcto.

$ 102.67

$ 51.33
Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic - Volume II: Foundations of Mathematics (en Inglés)

Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic - Volume II: Foundations of Mathematics (en Inglés)

Cenzer, Douglas ; Larson, Jean ; Porter, Christopher
World Scientific Publishing Company, Tapa Dura, Nuevo
45%
dcto.

$ 178.82

$ 98.35
Aspects of Computation and Automata Theory with Applications (en Inglés)

Aspects of Computation and Automata Theory with Applications (en Inglés)

Greenberg, Noam ; Jain, Sanjay ; Ng, Keng Meng
World Scientific Publishing Company, Tapa Dura, Nuevo
45%
dcto.

$ 381.32

$ 209.73
Recent Developments in Structure-Preserving Algorithms for Oscillatory Differential Equations (en Inglés)

Recent Developments in Structure-Preserving Algorithms for Oscillatory Differential Equations (en Inglés)

Wu, Xinyuan ; Wang, Bin
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 219.32

$ 120.63
Pythagorean Fuzzy Sets: Theory and Applications (en Inglés)

Pythagorean Fuzzy Sets: Theory and Applications (en Inglés)

Garg, Harish
Springer, Tapa Dura, Nuevo
45%
dcto.

$ 265.80

$ 146.19
40414243444546