Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 16th European Conference, Ecsqaru 2021, Prague, Czech Republic, September 21-24, 2 (en Inglés) Vejnarová, Jiřina ; Wilson, Nic Springer, Tapa Blanda, Nuevo 50%dcto.S/ 1.118,46S/ 559,23
Inner Models and Large Cardinals (en Inglés) Martin Zeman De Gruyter, 2001, Tapa Dura, Nuevo 50%dcto.S/ 2.486,79S/ 1.243,39
Mengenlehre (en Alemán) Klaua, Dieter de Gruyter, 1979, 1 edición, Tapa Dura, Nuevo 50%dcto.S/ 1.141,90S/ 570,95Disponible Usado en Buen Estado a S/ 64,59. Comprar Usado
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 50%dcto.S/ 863,21S/ 431,60
Course of Mathematical Logic: Volume 2 Model Theory (Synthese Library) R. Fraïssé Springer, Tapa Blanda, Nuevo 50%dcto.S/ 513,66S/ 256,83
perspectives on mathematical practices: bringing together philosophy of mathematics, sociology of mathematics, and mathematics education (en Inglés) Van Kerkhove, Bart ; Van Bendegem, Jean Paul Springer, 2010, Tapa Blanda, Nuevo 50%dcto.S/ 957,18S/ 478,59
applications of point set theory in real analysis (en Inglés) kharazishvili, a. b. springer, 2010, Nuevo 50%dcto.S/ 863,21S/ 431,60
the age of alternative logics (en Inglés) springer publishing map, Nuevo 50%dcto.S/ 1.521,66S/ 760,83
quantifiers: logics, models and computation: volume two: contributions (en Inglés) Krynicki, Michal ; Mostowski, M. ; Szczerba, L. W. Springer, 2010, Tapa Blanda, Nuevo 50%dcto.S/ 863,21S/ 431,60
collegium logicum 1 (en Inglés) Kurt-Gödel-Gesellschaft Springer, 1995, Tapa Blanda, Nuevo 50%dcto.S/ 460,01S/ 230,01
principles of mathematics bertrand russell rough draft printing, Nuevo 50%dcto.S/ 253,83S/ 126,91
a course on set theory ernest schimmerling cambridge univ pr, 2011, Nuevo 50%dcto.S/ 406,26S/ 203,13
Philosophy of Science for Scientists (Springer Undergraduate Texts in Philosophy) Lars-Göran Johansson Springer, Tapa Dura, Nuevo 50%dcto.S/ 621,29S/ 310,65
Louis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts (en Inglés) Schlaudt, Oliver ; Schmid, Anne-Francoise Birkhauser, Tapa Dura, Usado50%dcto.S/ 586,67S/ 293,34
The Times Su Doku Book 6: 150 challenging puzzles from The Times (en Inglés) The Times Mind Games Times Books, Tapa Blanda, Nuevo 50%dcto.S/ 124,02S/ 62,01
Conceptual Mathematics 2nd Edition Paperback: A First Introduction to Categories (en Inglés) Lawvere, F. William ; Schanuel, Stephen H. Cambridge University Press, 2009, Tapa Blanda, Nuevo 50%dcto.S/ 442,09S/ 221,05Disponible Usado en Buen Estado a S/ 161,33. Comprar Usado
inductive logic programming: 21st international conference, ilp 2011, windsor great park, uk, july 31 -- august 3, 2011, revised selected papers (en Inglés) Muggleton, Stephen ; Tamaddoni-Nezhad, Alireza ; Lisi, Francesca A. Springer, 2012, Tapa Blanda, Nuevo 50%dcto.S/ 541,75S/ 270,88
Visual Thinking in Mathematics: An Epistemological Study (en Inglés) Marcus Giaquinto Oxford University Press, 2011, Tapa Blanda, Nuevo 50%dcto.S/ 364,26S/ 182,13
Recursion Theory, its Generalisations and Applications Paperback (London Mathematical Society Lecture Note Series) (en Inglés) Drake; Wainer Cambridge University Press, 1980, 1 edición, Tapa Blanda, Nuevo 50%dcto.S/ 624,71S/ 312,35
logic programming and nonmonotonic reasoning: 11th international conference, lpnmr 2011, vancouver, canada, may 16-19, 2011, proceedings (en Inglés) Delgrande, James ; Faber, Wolfgang Springer, 2011, Tapa Blanda, Nuevo 50%dcto.S/ 541,75S/ 270,88
Advances in Linear Logic Paperback (London Mathematical Society Lecture Note Series) (en Inglés) Girard, Jean-Yves ; LaFont, Yves ; Regnier, Laurent Cambridge University Press, 1995, 1 edición, Tapa Blanda, Nuevo 50%dcto.S/ 599,69S/ 299,84
a framework for priority arguments m. lerman cambridge univ pr, Nuevo 50%dcto.S/ 908,12S/ 454,06
Numbers, Sets and Axioms: The Apparatus of Mathematics (en Inglés) A. G. Hamilton Cambridge University Press, 1983, 1 edición, Tapa Blanda, Nuevo 50%dcto.S/ 468,97S/ 234,49
computability: computable functions, logic, and the foundations of mathematics (en Inglés) epstein, richard l. advanced reasoning forum, 2008, Nuevo 50%dcto.S/ 415,97S/ 207,99
Admissible Sets and Structures (en Inglés) Jon Barwise Cambridge University Press, 2017, 1 edición, Tapa Dura, Nuevo 50%dcto.S/ 1.042,52S/ 521,26
Model-Theoretic Logics (Perspectives in Logic) (en Inglés) Barwise, J. ; Feferman, S. Cambridge University Press, 2017, 1 edición, Tapa Dura, Nuevo 50%dcto.S/ 1.445,71S/ 722,86
design considerations of time in fuzzy systems (en Inglés) virant springer publishing map, Nuevo 50%dcto.S/ 1.669,60S/ 834,80
logic and foundations of mathematics (en Inglés) cantini, a. springer, 1999, Nuevo 50%dcto.S/ 880,29S/ 440,14
automation of reasoning: classical papers on computational logic 1957 1966 (en Inglés) Siekmann, J. ; Wrightson, G. Springer, 2012, Tapa Blanda, Nuevo 50%dcto.S/ 1.019,68S/ 509,84
Interpretability of Machine Intelligence in Medical Image Computing and Multimodal Learning for Clinical Decision Support: Second International Worksh (en Inglés) Suzuki, Kenji ; Reyes, Mauricio ; Syeda-Mahmood, Tanveer Springer, Tapa Blanda, Nuevo 50%dcto.S/ 460,01S/ 230,01
schaum´s outline of logic (en Inglés) Nolt, John ; Rohatyn, Dennis ; Varzi, Achille McGraw-Hill Companies, 2011, Tapa Blanda, Nuevo 50%dcto.S/ 235,46S/ 117,73
A Course on Borel Sets (Graduate Texts in Mathematics, Vol. 180) (en Inglés) Srivastava, S. M. Springer, 1998, Tapa Dura, Nuevo 50%dcto.S/ 684,01S/ 342,01
Architecture of Systems Problem Solving (Ifsr International Series on Systems Science and Engineering, Vol. 21) (en Inglés) George J. Klir; Doug Elias Springer Publishing Map, 2003, 2 edición, Tapa Dura, Nuevo 50%dcto.S/ 957,18S/ 478,59
An Introduction to Logical Theory (en Inglés) Yaqub, Aladdin M. Broadview Press Inc, 2013, Tapa Blanda, Nuevo 50%dcto.S/ 400,86S/ 200,43
Logic Puzzles: 500 Hard Adults Puzzles (Sudoku, Kakuro, Hitori, Minesweeper, Masyu, Suguru, Binary Puzzle, Slitherlink, Futoshiki, Fi (en Inglés) Alzamili, Khalid Independently Published, Tapa Blanda, Nuevo 50%dcto.S/ 109,35S/ 54,67
Inductive Logic Programming: 29th International Conference, Ilp 2019, Plovdiv, Bulgaria, September 3-5, 2019, Proceedings (en Inglés) Kazakov, Dimitar ; Erten, Can Springer, Tapa Blanda, Nuevo 50%dcto.S/ 513,66S/ 256,83
Einleitung in Die Mengenlehre: Eine Gemeinverständliche Einführung in Das Reich Der Unendlichen Größen (en Alemán) Fraenkel, Abraham Adolf Springer, Tapa Blanda, Nuevo 50%dcto.S/ 473,34S/ 236,67
Foundations of Software Science and Computation Structures: 27th International Conference, Fossacs 2024, Held as Part of the European Joint Conference (en Inglés) Kobayashi, Naoki ; Worrell, James Springer, Tapa Blanda, Nuevo 50%dcto.S/ 311,62S/ 155,81
Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday (en Inglés) Lutz, Carsten ; Sattler, Uli ; Tinelli, Cesare Springer, Tapa Blanda, Nuevo 50%dcto.S/ 513,66S/ 256,83
proofs of the cantor-bernstein theorem (en Hebreo) Hinkis, Arie Birkhauser, Tapa Dura, Nuevo 50%dcto.S/ 957,18S/ 478,59
Recent Trends in Philosophical Logic (en Inglés) Ciuni, Roberto ; Wansing, Heinrich ; Willkommen, Caroline Springer, Tapa Blanda, Nuevo 50%dcto.S/ 957,18S/ 478,59
The Logical Legacy of Nikolai Vasiliev and Modern Logic (Synthese Library) Springer, Tapa Dura, Nuevo 50%dcto.S/ 863,21S/ 431,60
mural: a formal development support system (en Inglés) Bicarregui, J. ; Jones, C. B. ; Jones, K. D. Springer, 1991, Tapa Blanda, Nuevo 50%dcto.S/ 460,01S/ 230,01
Where Is the Gödel-Point Hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals (en Inglés) Horská, Anna Springer, Tapa Blanda, Nuevo 50%dcto.S/ 634,62S/ 317,31
Descriptor Revision: Belief Change Through Direct Choice (en Inglés) Hansson, Sven Ove Springer, Tapa Dura, Nuevo 50%dcto.S/ 460,01S/ 230,01
Fuzzy Logic 2 (en Alemán) Walter De Gruyter, 1995, 2 edición, Tapa Dura, Nuevo 50%dcto.S/ 907,76S/ 453,88
The Mathematics of Coordinated Inference: A Study of Generalized Hat Problems (en Inglés) Hardin, Christopher S. ; Taylor, Alan D. Springer, Tapa Blanda, Nuevo 50%dcto.S/ 513,66S/ 256,83
Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations: 17th International Conference, Ipmu 2018, Cád (en Inglés) Medina, Jesús ; Ojeda-Aciego, Manuel ; Verdegay, José Luis Springer, Tapa Blanda, Nuevo 50%dcto.S/ 962,80S/ 481,40
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems (en Inglés) Gorrieri, Roberto Springer, Tapa Dura, Nuevo 50%dcto.S/ 684,01S/ 342,01