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
Theories of Paradox in the Middle Ages (en Inglés)

Theories of Paradox in the Middle Ages (en Inglés)

Read, Stephen ; Bartocci, Barbara
College Publications, Tapa Blanda, Nuevo
50%
dcto.

$ 56.25

$ 28.13
A True Polymath: A Tribute to Francisco Antonio Doria (en Inglés)

A True Polymath: A Tribute to Francisco Antonio Doria (en Inglés)

de Barros, J. Acacio ; Krause, Decio
College Publications, Tapa Blanda, Nuevo
40%
dcto.

$ 88.16

$ 52.90
Logics of Proofs and Justifications (en Inglés)

Logics of Proofs and Justifications (en Inglés)

Kuznets, Roman ; Studer, Thomas
College Publications, Tapa Blanda, Nuevo
50%
dcto.

$ 63.59

$ 31.80
Errors of Reasoning. Naturalizing the Logic of Inference (en Inglés)

Errors of Reasoning. Naturalizing the Logic of Inference (en Inglés)

Woods, John
College Publications, Tapa Blanda, Nuevo
50%
dcto.

$ 67.06

$ 33.53
proofs, categories and computations. essays in honor of grigori mints (en Inglés)

proofs, categories and computations. essays in honor of grigori mints (en Inglés)

feferman, solomon
college publications, 2010, Nuevo
50%
dcto.

$ 80.79

$ 40.39
Fundamentos de l Gica e Teoria da Computa o (en Portugués)

Fundamentos de l Gica e Teoria da Computa o (en Portugués)

Am Lcar Sernadas; Cristina Sernadas
College Publications, 2012, Tapa Blanda, Nuevo
50%
dcto.

$ 65.78

$ 32.89
Aventuras en el Mundo de la Lógica: Ensayos en Honor a María Manzano

Aventuras en el Mundo de la Lógica: Ensayos en Honor a María Manzano

Antonia Huertas; Andrei Moldovan
College Publications, 2019, Tapa Blanda, Nuevo
50%
dcto.

$ 59.81

$ 29.90
De Mathematicae Atque Philosophicae Elegantia. Notas Festivas Para Abel Lassalle Casanave

De Mathematicae Atque Philosophicae Elegantia. Notas Festivas Para Abel Lassalle Casanave

College Publications, 2021, Tapa Blanda, Nuevo
50%
dcto.

$ 60.85

$ 30.43
The Arbitrariness of the Sign in Question: Proceedings of a CLG 100 Workshop. Geneva, January 10-12, 2017 (en Inglés)

The Arbitrariness of the Sign in Question: Proceedings of a CLG 100 Workshop. Geneva, January 10-12, 2017 (en Inglés)

Beziau, Jean-Yves
College Publications, Tapa Blanda, Nuevo
50%
dcto.

$ 86.29

$ 43.15
The Logica Yearbook 2012 (en Inglés)

The Logica Yearbook 2012 (en Inglés)

Puncochar, Vit ; Svarny, Petr
College Publications, Tapa Blanda, Nuevo
50%
dcto.

$ 59.46

$ 29.73
Ifcolog Journal of Logics and their Applications. Proceedings of the Third Workshop. Volume 4, number 3 (en Inglés)

Ifcolog Journal of Logics and their Applications. Proceedings of the Third Workshop. Volume 4, number 3 (en Inglés)

Bimbo, Katalin ; Dunn, J. Michael
College Publications, Tapa Blanda, Nuevo
50%
dcto.

$ 64.90

$ 32.45
Alan Turing: The Life And Legacy Of The English Computer Scientist (The Incredible True Story Of The Man Who Cracked The Cod) (en Inglés)

Alan Turing: The Life And Legacy Of The English Computer Scientist (The Incredible True Story Of The Man Who Cracked The Cod) (en Inglés)

Byers, Leroy
Zoe Lawson, Tapa Blanda, Nuevo
50%
dcto.

$ 46.52

$ 23.26
Algorithms: Advanced Data Structures for Algorithms (en Inglés)

Algorithms: Advanced Data Structures for Algorithms (en Inglés)

Vickler, Andy
Ladoo Publishing LLC, Tapa Blanda, Nuevo
50%
dcto.

$ 58.26

$ 29.13
Artificial Intelligence: 16th Russian Conference, Rcai 2018, Moscow, Russia, September 24-27, 2018, Proceedings (en Inglés)

Artificial Intelligence: 16th Russian Conference, Rcai 2018, Moscow, Russia, September 24-27, 2018, Proceedings (en Inglés)

Kuznetsov, Sergei O. ; Osipov, Gennady S. ; Stefanuk, Vadim L.
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 108.30

$ 59.56
Multi-Agent Systems: 16th European Conference, Eumas 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers (en Inglés)

Multi-Agent Systems: 16th European Conference, Eumas 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers (en Inglés)

Slavkovik, Marija
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 108.30

$ 59.56
The Panenmentalist Philosophy of Science: From the Recognition of Individual Pure Possibilities to Actual Discoveries (Synthese Library) (en Inglés)

The Panenmentalist Philosophy of Science: From the Recognition of Individual Pure Possibilities to Actual Discoveries (Synthese Library) (en Inglés)

Amihud Gilead
Springer, 2020, 1 edición, Tapa Dura, Nuevo
45%
dcto.

$ 108.30

$ 59.56
Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts (en Inglés)

Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts (en Inglés)

Centrone, Stefania ; Kant, Deborah ; Sarikaya, Deniz
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 280.80

$ 154.44
Metadata and Semantic Research: 13th International Conference, Mtsr 2019, Rome, Italy, October 28-31, 2019, Revised Selected Papers (en Inglés)

Metadata and Semantic Research: 13th International Conference, Mtsr 2019, Rome, Italy, October 28-31, 2019, Revised Selected Papers (en Inglés)

Garoufallou, Emmanouel ; Fallucchi, Francesca ; William de Luca, Ernesto
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 108.30

$ 59.56
Probabilistic Extensions of Various Logical Systems (en Inglés)

Probabilistic Extensions of Various Logical Systems (en Inglés)

Ognjanovic, Zoran
Springer, Tapa Dura, Nuevo
45%
dcto.

$ 190.80

$ 104.94
Information Processing and Management of Uncertainty in Knowledge-Based Systems: 18th International Conference, Ipmu 2020, Lisbon, Portugal, June 15-1 (en Inglés)

Information Processing and Management of Uncertainty in Knowledge-Based Systems: 18th International Conference, Ipmu 2020, Lisbon, Portugal, June 15-1 (en Inglés)

Lesot, Marie-Jeanne ; Vieira, Susana ; Reformat, Marek Z.
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 195.19

$ 107.35
the complexity theory companion (en Inglés)

the complexity theory companion (en Inglés)

Hemaspaandra, Lane A. ; Ogihara, Mitsunori
Springer, 2010, Tapa Blanda, Nuevo
45%
dcto.

$ 128.20

$ 70.51
handbook of formal languages: volume 2. linear modeling: background and application (en Inglés)

handbook of formal languages: volume 2. linear modeling: background and application (en Inglés)

Rozenberg, Grzegorz ; Salomaa, Arto
Springer, 2010, Tapa Blanda, Nuevo
45%
dcto.

$ 420.42

$ 231.23
parsing theory ii: lr(k) and ll(k) parsing (en Inglés)

parsing theory ii: lr(k) and ll(k) parsing (en Inglés)

Sippu, Seppo ; Soisalon-Soininen, Eljas
Springer, 2010, Tapa Blanda, Nuevo
45%
dcto.

$ 125.60

$ 69.08
On Hilbert's Sixth Problem (en Inglés)

On Hilbert's Sixth Problem (en Inglés)

Da Costa, Newton C. a. ; Doria, Francisco Antonio
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 190.80

$ 104.94
Chapters from Gödel's Unfinished Book on Foundational Research in Mathematics (en Inglés)

Chapters from Gödel's Unfinished Book on Foundational Research in Mathematics (en Inglés)

Von Plato, Jan
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 205.80

$ 113.19
tools for practical software verification: international summer school, laser 2011, elba island, italy, revised tutorial lectures (en Inglés)

tools for practical software verification: international summer school, laser 2011, elba island, italy, revised tutorial lectures (en Inglés)

Meyer, Bertrand ; Nordio, Martin
Springer, 2012, Tapa Blanda, Nuevo
45%
dcto.

$ 100.80

$ 55.44
advances in computational intelligence, part i: 14th international conference on information processing and management of uncertainty in knowledge-bas (en Inglés)

advances in computational intelligence, part i: 14th international conference on information processing and management of uncertainty in knowledge-bas (en Inglés)

Greco, Salvatore ; Bouchon-Meunier, Bernadette ; Coletti, Giulianella
Springer, 2012, Tapa Blanda, Nuevo
45%
dcto.

$ 190.80

$ 104.94
Developments in Language Theory: 27th International Conference, Dlt 2023, Umeå, Sweden, June 12-16, 2023, Proceedings (en Inglés)

Developments in Language Theory: 27th International Conference, Dlt 2023, Umeå, Sweden, June 12-16, 2023, Proceedings (en Inglés)

Drewes, Frank ; Volkov, Mikhail
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 130.80

$ 71.94
Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, Uk, September 5-8, 2023 Proceedings (en Inglés)

Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, Uk, September 5-8, 2023 Proceedings (en Inglés)

DuBois, Catherine ; Kerber, Manfred
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 153.30

$ 84.31
around and beyond the square of opposition (en Inglés)

around and beyond the square of opposition (en Inglés)

Béziau, Jean-Yves ; Jacquette, Dale
Birkhauser, Tapa Blanda, Nuevo
45%
dcto.

$ 108.30

$ 59.56
Proofs of the Cantor-Bernstein Theorem: A Mathematical Excursion (en Hebreo)

Proofs of the Cantor-Bernstein Theorem: A Mathematical Excursion (en Hebreo)

Hinkis, Arie
Birkhauser, Tapa Blanda, Nuevo
45%
dcto.

$ 190.80

$ 104.94
automation of reasoning: 2: classical papers on computational logic 1967 1970 (en Inglés)

automation of reasoning: 2: classical papers on computational logic 1967 1970 (en Inglés)

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

$ 223.59

$ 122.98
Formale Logik (en Alemán)

Formale Logik (en Alemán)

Paul Lorenzen
De Gruyter, 1958, Tapa Dura, Nuevo
40%
dcto.

$ 223.43

$ 134.06
Chong (en Inglés)

Chong (en Inglés)

Chong, Chi Tat ; Yu, Liang
de Gruyter, 2015, Tapa Dura, Nuevo
40%
dcto.

$ 308.73

$ 185.24
Automated Theorem Proving (en Inglés)

Automated Theorem Proving (en Inglés)

Bibel, Wolfgang
Vieweg+teubner Verlag, Tapa Blanda, Nuevo
45%
dcto.

$ 190.80

$ 104.94
proceedings of the logic colloquium. held in aachen, july 18-23, 1983 (en Inglés)

proceedings of the logic colloquium. held in aachen, july 18-23, 1983 (en Inglés)

Springer, Nuevo
45%
dcto.

$ 114.32

$ 62.88
Software Language Engineering: 6th International Conference, Sle 2013, Indianapolis, In, Usa, October 26-28, 2013. Proceedings (en Inglés)

Software Language Engineering: 6th International Conference, Sle 2013, Indianapolis, In, Usa, October 26-28, 2013. Proceedings (en Inglés)

Erwig, Martin ; Paige, Richard F. ; Van Wyk, Eric
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 108.30

$ 59.56
set theory and model theory (en Inglés)

set theory and model theory (en Inglés)

Springer, Nuevo
45%
dcto.

$ 85.75

$ 47.16
Theory of Sets (en Inglés)

Theory of Sets (en Inglés)

N. Bourbaki
(1)
Springer, 2004, Tapa Blanda, Nuevo
45%
dcto.

$ 130.80

$ 71.94
lambda-calculus and computer science theory: proceedings of the symposium held in rome, march 25-27, 1975. iac - cnr istituto per le applicazioni del (en Francés)

lambda-calculus and computer science theory: proceedings of the symposium held in rome, march 25-27, 1975. iac - cnr istituto per le applicazioni del (en Francés)

Böhm, C.
Springer, 1975, Tapa Blanda, Nuevo
45%
dcto.

$ 108.30

$ 59.56
Foundations of Information and Knowledge Systems: 9th International Symposium, Foiks 2016, Linz, Austria, March 7-11, 2016. Proceedings (en Inglés)

Foundations of Information and Knowledge Systems: 9th International Symposium, Foiks 2016, Linz, Austria, March 7-11, 2016. Proceedings (en Inglés)

Gyssens, Marc ; Simari, Guillermo
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 108.30

$ 59.56
Petr Hájek on Mathematical Fuzzy Logic (en Inglés)

Petr Hájek on Mathematical Fuzzy Logic (en Inglés)

Montagna, Franco
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 190.80

$ 104.94
Towards an Arithmetical Logic: The Arithmetical Foundations of Logic (Studies in Universal Logic)

Towards an Arithmetical Logic: The Arithmetical Foundations of Logic (Studies in Universal Logic)

Yvon Gauthier
Birkhäuser, Tapa Blanda, Nuevo
45%
dcto.

$ 108.30

$ 59.56
Duality Theories for Boolean Algebras with Operators (en Inglés)

Duality Theories for Boolean Algebras with Operators (en Inglés)

Givant, Steven
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 108.30

$ 59.56
Semantic Technology: 5th Joint International Conference, Jist 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers (en Inglés)

Semantic Technology: 5th Joint International Conference, Jist 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers (en Inglés)

Qi, Guilin ; Kozaki, Kouji ; Pan, Jeff Z.
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 108.30

$ 59.56
The Unknown as an Engine for Science: An Essay on the Definite and the Indefinite (en Inglés)

The Unknown as an Engine for Science: An Essay on the Definite and the Indefinite (en Inglés)

Pirner, Hans J. ; Brewer, William D.
Springer, Tapa Blanda, Nuevo
45%
dcto.

$ 108.30

$ 59.56
ideal spaces (en Inglés)

ideal spaces (en Inglés)

väth
Springer, Nuevo
45%
dcto.

$ 100.80

$ 55.44
Subjective Logic: A Formalism for Reasoning Under Uncertainty (en Inglés)

Subjective Logic: A Formalism for Reasoning Under Uncertainty (en Inglés)

Jøsang, Audun
Springer, Tapa Blanda, Nuevo
40%
dcto.

$ 233.69

$ 140.22
Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets (Perspectives in Mathematical Logic) (en Inglés)

Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets (Perspectives in Mathematical Logic) (en Inglés)

Soare, Robert I.
Springer, 2014, 1 edición, Tapa Blanda, Nuevo
45%
dcto.

$ 205.80

$ 113.19
An Introduction to the Technique of Formative Processes in Set Theory (en Inglés)

An Introduction to the Technique of Formative Processes in Set Theory (en Inglés)

Cantone, Domenico ; Ursino, Pietro
Springer, Tapa Dura, Nuevo
45%
dcto.

$ 108.30

$ 59.56
78910111213