你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

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

menu

Select your country

Americas

Europe

Rest of the world

    You are in:
  1. Home 
  2. Books 
  3. 1 Mathematics and sciences  Mathematics  Mathematical foundations  Mathematical logic

Mathematical logic Books

We found 2.486 Books

Boolean Algebras

Boolean Algebras

Sikorski, Roman
Springer, Paperback, New

NT$ 1,896
Activity Book: Logic Puzzles for Adults & Seniors: 500 Medium Puzzles (Sudoku - Fillomino - Straights - Futoshiki - Binary - Slitherl

Activity Book: Logic Puzzles for Adults & Seniors: 500 Medium Puzzles (Sudoku - Fillomino - Straights - Futoshiki - Binary - Slitherl

Alzamili, Khalid
Independently Published, Paperback, New

NT$ 521
Aspects of Computation and Automata Theory with Applications

Aspects of Computation and Automata Theory with Applications

Greenberg, Noam ; Jain, Sanjay ; Ng, Keng Meng
World Scientific Publishing Company, Hardcover, New

NT$ 7,265
The Logico-Algebraic Approach to Quantum Mechanics: Volume II: Contemporary Consolidation

The Logico-Algebraic Approach to Quantum Mechanics: Volume II: Contemporary Consolidation

Hooker, C. a.
Springer, Paperback, New

NT$ 6,461
Elementary Logic [First Edition]

Elementary Logic [First Edition]

Quine, W. V.
Martino Fine Books, Paperback, New

NT$ 935
Advances in Information Retrieval: 43rd European Conference on IR Research, Ecir 2021, Virtual Event, March 28 - April 1, 2021, Proceedings, Part I

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

Hiemstra, Djoerd ; Moens, Marie-Francine ; Mothe, Josiane
Springer, Paperback, New

NT$ 3,995
Semigroups in Complete Lattices: Quantales, Modules and Related Topics

Semigroups in Complete Lattices: Quantales, Modules and Related Topics

Eklund, Patrik ; Gutiérrez García, Javier ; Höhle, Ulrich
Springer, Paperback, New

NT$ 3,971
Minesweeper Logic Puzzles: 500 Easy to Hard (10x10): : Keep Your Brain Young

Minesweeper Logic Puzzles: 500 Easy to Hard (10x10): : Keep Your Brain Young

Alzamili, Khalid
Independently Published, Paperback, New

NT$ 521
Great Circle of Mysteries: Mathematics, the World, the Mind

Great Circle of Mysteries: Mathematics, the World, the Mind

Gromov, Misha
Birkhauser, Paperback, New

NT$ 3,971
Riddles For Kids: 100+ trick questions, math games, short brainteasers and fun riddles for smart kids to enjoy with the whole family

Riddles For Kids: 100+ trick questions, math games, short brainteasers and fun riddles for smart kids to enjoy with the whole family

For Children, Wonderland
Wonderland for Children, Paperback, New

NT$ 598
Fuzzy Logic and Applications: 12th International Workshop, Wilf 2018, Genoa, Italy, September 6-7, 2018, Revised Selected Papers

Fuzzy Logic and Applications: 12th International Workshop, Wilf 2018, Genoa, Italy, September 6-7, 2018, Revised Selected Papers

Fullér, Robert ; Giove, Silvio ; Masulli, Francesco
Springer, Paperback, New

NT$ 1,896
Integrated Uncertainty in Knowledge Modelling and Decision Making: 7th International Symposium, Iukm 2019, Nara, Japan, March 27-29, 2019, Proceedings

Integrated Uncertainty in Knowledge Modelling and Decision Making: 7th International Symposium, Iukm 2019, Nara, Japan, March 27-29, 2019, Proceedings

Seki, Hirosato ; Nguyen, Canh Hao ; Huynh, Van-Nam
Springer, Paperback, New

NT$ 1,896
The Semantic Web: 16th International Conference, Eswc 2019, Portoroz, Slovenia, June 2-6, 2019, Proceedings

The Semantic Web: 16th International Conference, Eswc 2019, Portoroz, Slovenia, June 2-6, 2019, Proceedings

Hitzler, Pascal ; Fernández, Miriam ; Janowicz, Krzysztof
Springer, Paperback, New

NT$ 3,141
Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday

Lutz, Carsten ; Sattler, Uli ; Tinelli, Cesare
Springer, Paperback, New

NT$ 1,896
A Protocol-Theoretic Framework for the Logic of Epistemic Norms

A Protocol-Theoretic Framework for the Logic of Epistemic Norms

Jenkins, Ralph
Springer, Hardcover, New

NT$ 3,418
Principles and Practice of Constraint Programming: 25th International Conference, Cp 2019, Stamford, Ct, Usa, September 30 - October 4, 2019, Proceedi

Principles and Practice of Constraint Programming: 25th International Conference, Cp 2019, Stamford, Ct, Usa, September 30 - October 4, 2019, Proceedi

Schiex, Thomas ; de Givry, Simon
Springer, Paperback, New

NT$ 1,920
Rules and Reasoning: Third International Joint Conference, Ruleml+rr 2019, Bolzano, Italy, September 16-19, 2019, Proceedings

Rules and Reasoning: Third International Joint Conference, Ruleml+rr 2019, Bolzano, Italy, September 16-19, 2019, Proceedings

Fodor, Paul ; Montali, Marco ; Calvanese, Diego
Springer, Paperback, New

NT$ 1,896
Mathematics, Logic, and Their Philosophies: Essays in Honour of Mohammad Ardeshir

Mathematics, Logic, and Their Philosophies: Essays in Honour of Mohammad Ardeshir

Mojtahedi, Mojtaba ; Rahman, Shahid ; Zarepour, Mohammad Saleh
Springer, Paperback, New

NT$ 3,971
Sudoku For Adults & Seniors: 500 Hard to Extreme: : Keep Your Brain Young

Sudoku For Adults & Seniors: 500 Hard to Extreme: : Keep Your Brain Young

Alzamili, Khalid
Independently Published, Paperback, New

NT$ 521
The Legacy of Kurt Schütte

The Legacy of Kurt Schütte

Kahle, Reinhard ; Rathjen, Michael
Springer, Hardcover, New

NT$ 3,971
Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings

Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings

Katsaros, Panagiotis ; Nenzi, Laura
Springer, Paperback, New

NT$ 2,588
IfColog Journal of Logics and heir Applications. Volume 2, Number 1

IfColog Journal of Logics and heir Applications. Volume 2, Number 1

Ifcolog
College Publications, Paperback, New

NT$ 434
The Logica Yearbook 2019

The Logica Yearbook 2019

Sedlar, Igor ; Blicha, Martin
College Publications, Paperback, New

NT$ 804
A Question is More Illuminating than an Answer. A Festschrift for Paolo A. S. Veloso

A Question is More Illuminating than an Answer. A Festschrift for Paolo A. S. Veloso

Haeusler, Edward Hermann ; Dias Pereira, Luis Carlos Pinheiro ; Viana, Jorge Petrucio
College Publications, Paperback, New

NT$ 826
Journal of Applied Logics - The IfCoLog Journal of Logics and their Applications: Volume 8, Issue 3, April 2021

Journal of Applied Logics - The IfCoLog Journal of Logics and their Applications: Volume 8, Issue 3, April 2021

Gabbay, Dov
College Publications, Paperback, New

NT$ 956
The Logica Yearbook 2014

The Logica Yearbook 2014

Arazim, Pavel ; Dancak, Michal
College Publications, Paperback, New

NT$ 847
Journal of Applied Logics - The IfCoLog Journal of Logics and their Applications: Volume 6, Issue 4, June 2019: Special Issue: Neural-Symbolic Learnin

Journal of Applied Logics - The IfCoLog Journal of Logics and their Applications: Volume 6, Issue 4, June 2019: Special Issue: Neural-Symbolic Learnin

Garcez, Artur D'Avila ; Besold, Tarek R.
College Publications, Paperback, New

NT$ 782
Categorical Perspectives

Categorical Perspectives

Koslowski, Jürgen ; Melton, Austin
Birkhauser, Paperback, New

NT$ 3,418
Descriptional Complexity of Formal Systems: 18th Ifip Wg 1.2 International Conference, Dcfs 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

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

Câmpeanu, Cezar ; Manea, Florin ; Shallit, Jeffrey
Springer, Paperback, New

NT$ 1,896
Hybrid Intelligent Systems

Hybrid Intelligent Systems

Medsker, Larry R.
Springer, Paperback, New

NT$ 5,078
Finite Fields: Normal Bases and Completely Free Elements

Finite Fields: Normal Bases and Completely Free Elements

Hachenberger, Dirk
Springer, Paperback, New

NT$ 5,078
Truth and Falsehood: An Inquiry Into Generalized Logical Values

Truth and Falsehood: An Inquiry Into Generalized Logical Values

Shramko, Yaroslav ; Wansing, Heinrich
Springer, Paperback, New

NT$ 3,418
Fuzzy Sets in Decision Analysis, Operations Research and Statistics

Fuzzy Sets in Decision Analysis, Operations Research and Statistics

Slowiński, Roman
Springer, Paperback, New

NT$ 6,461
Fuzzy Evolutionary Computation

Fuzzy Evolutionary Computation

Pedrycz, Witold
Springer, Paperback, New

NT$ 5,078
Introduction to Mathematica with Applications

Introduction to Mathematica with Applications

Mureşan, Marian
Springer, Paperback, New

NT$ 3,971
Fuzzy Data Analysis

Fuzzy Data Analysis

Bandemer, Hans ; Näther, Wolfgang
Springer, Paperback, New

NT$ 5,078
Nonstandard Analysis and Vector Lattices

Nonstandard Analysis and Vector Lattices

Kutateladze, Semën Samsonovich
Springer, Paperback, New

NT$ 1,896
The Hyperuniverse Project and Maximality

The Hyperuniverse Project and Maximality

Antos, Carolin ; Friedman, Sy-David ; Honzik, Radek
Birkhauser, Paperback, New

NT$ 2,865
Cellular Automata and Discrete Complex Systems: 24th Ifip Wg 1.5 International Workshop, Automata 2018, Ghent, Belgium, June 20-22, 2018, Proceedings

Cellular Automata and Discrete Complex Systems: 24th Ifip Wg 1.5 International Workshop, Automata 2018, Ghent, Belgium, June 20-22, 2018, Proceedings

Baetens, Jan M. ; Kutrib, Martin
Springer, Paperback, New

NT$ 1,896
Optimization Models Using Fuzzy Sets and Possibility Theory

Optimization Models Using Fuzzy Sets and Possibility Theory

Kacprzyk, J. ; Orlovski, S. a.
Springer, Paperback, New

NT$ 1,896
Implementation and Application of Automata: 22nd International Conference, Ciaa 2017, Marne-La-Vallée, France, June 27-30, 2017, Proceedings

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

Carayol, Arnaud ; Nicaud, Cyril
Springer, Paperback, New

NT$ 1,896
Case-Based Reasoning Research and Development: 25th International Conference, Iccbr 2017, Trondheim, Norway, June 26-28, 2017, Proceedings

Case-Based Reasoning Research and Development: 25th International Conference, Iccbr 2017, Trondheim, Norway, June 26-28, 2017, Proceedings

AHA, David W. ; Lieber, Jean
Springer, Paperback, New

NT$ 1,896
Theory and Applications of Models of Computation: 14th Annual Conference, Tamc 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

Theory and Applications of Models of Computation: 14th Annual Conference, Tamc 2017, Bern, Switzerland, April 20-22, 2017, Proceedings

Gopal, T. V. ; Jäger, Gerhard ; Steila, Silvia
Springer, Paperback, New

NT$ 1,896
Cultures of Mathematics and Logic: Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012

Cultures of Mathematics and Logic: Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012

Ju, Shier ; Löwe, Benedikt ; Müller, Thomas
Birkhauser, Paperback, New

NT$ 3,418
Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, Tableaux 2015, Wroclaw, Poland, September 21-24, 2015,

Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, Tableaux 2015, Wroclaw, Poland, September 21-24, 2015,

De Nivelle, Hans
Springer, Paperback, New

NT$ 1,896
Recent Developments in Structure-Preserving Algorithms for Oscillatory Differential Equations

Recent Developments in Structure-Preserving Algorithms for Oscillatory Differential Equations

Wu, Xinyuan ; Wang, Bin
Springer, Paperback, New

NT$ 3,944
Pythagorean Fuzzy Sets: Theory and Applications

Pythagorean Fuzzy Sets: Theory and Applications

Garg, Harish
Springer, Hardcover, New

NT$ 4,801
Essays in Constructive Mathematics

Essays in Constructive Mathematics

Edwards, Harold M.
Springer, Paperback, New

NT$ 5,635
Mathematical Proofs: A Transition to Advanced Mathematics, Books a la Carte Edition (4th Edition)

Mathematical Proofs: A Transition to Advanced Mathematics, Books a la Carte Edition (4th Edition)

Chartrand, Gary ; Polimeni, Albert ; Zhang, Ping
Pearson, Loose Leaf, New

NT$ 5,355
Logic Colloquium 2000 (Hardcover): Lecture Notes in Logic, 19

Logic Colloquium 2000 (Hardcover): Lecture Notes in Logic, 19

Cori, Rene ; Razborov, Alexander ; Todorcevic, Stevo
A K PETERS, Hardcover, New

NT$ 4,950
32333435363738