你好! 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.712 Books

algebraic methodology and software technology: 13th international conference, amast 2010, lac-beauport, qc, canada, june 23-25, 2010, revised selected

algebraic methodology and software technology: 13th international conference, amast 2010, lac-beauport, qc, canada, june 23-25, 2010, revised selected

Johnson, Michael ; Pavlovic, Dusko
Springer, 2011, Paperback, New

NT$ 1,989
Summer Magic Square Puzzles: Elementary logic puzzles, Magic of mathematics, Mathematics books for kids, Mental magic book

Summer Magic Square Puzzles: Elementary logic puzzles, Magic of mathematics, Mathematics books for kids, Mental magic book

Lawell, Andy
Independently Published, Paperback, New

NT$ 634
Sudoku Book For Adults Easy To Hard 300 Puzzles: Sudoku Puzzles Book For Seniors Of All Levels, Easy, Medium, Hard

Sudoku Book For Adults Easy To Hard 300 Puzzles: Sudoku Puzzles Book For Seniors Of All Levels, Easy, Medium, Hard

Books, Funafter
Independently Published, Paperback, New

NT$ 796
100 Killer Sudoku Puzzles: 128 Pages, 8.5 x 11in, Paperback

100 Killer Sudoku Puzzles: 128 Pages, 8.5 x 11in, Paperback

O'Connell, Michael
Independently Published, Paperback, New

NT$ 697
The Big Sudoku Block: 1000 Mind Melting Puzzles 2. 2021

The Big Sudoku Block: 1000 Mind Melting Puzzles 2. 2021

Schary, Justin ; Publishing, Lt
Independently Published, Paperback, New

NT$ 789
Sudoku: 100 new variety expert sudoku with solution

Sudoku: 100 new variety expert sudoku with solution

Row, Squad
Independently Published, Paperback, New

NT$ 824
Logic Puzzles For Adults & Seniors: 1000 Hard Variety Puzzles

Logic Puzzles For Adults & Seniors: 1000 Hard Variety Puzzles

Alzamili, Khalid
Independently Published, Paperback, New

NT$ 797
Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, and Back (Topics in Computer Mathematics)

Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, and Back (Topics in Computer Mathematics)

Martin-Vide, Carlos ; Mitrana, Victor
CRC Press, 1 edition, Paperback, New

NT$ 2,332
Handbook of Set Theory, 3-Volume Set

Handbook of Set Theory, 3-Volume Set

Foreman, Matthew ; Kanamori, Akihiro
Springer, Hardcover, New

NT$ 25,802
A Sequence of Problems on Semigroups

A Sequence of Problems on Semigroups

Neuberger, John
Springer, Paperback, New

NT$ 1,896
Scientific Objectivity and Its Contexts

Scientific Objectivity and Its Contexts

Agazzi, Evandro
Springer, Hardcover, New

NT$ 3,418
New Essays on Frege: Between Science and Literature

New Essays on Frege: Between Science and Literature

Bengtsson, Gisela ; Säätelä, Simo ; Pichler, Alois
Springer, Hardcover, New

NT$ 3,418
Semantics and Truth

Semantics and Truth

Woleński, Jan
Springer, Paperback, New

NT$ 3,971
Introduction to Relation Algebras: Relation Algebras, Volume 1

Introduction to Relation Algebras: Relation Algebras, Volume 1

Givant, Steven
Springer, 1 edition, Paperback, New

NT$ 2,311
Theory of Graded Consequence: A General Framework for Logics of Uncertainty

Theory of Graded Consequence: A General Framework for Logics of Uncertainty

Chakraborty, Mihir Kumar ; Dutta, Soma
Springer, Hardcover, New

NT$ 1,896
Advances in Brain Inspired Cognitive Systems: 13th International Conference, Bics 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings

Advances in Brain Inspired Cognitive Systems: 13th International Conference, Bics 2023, Kuala Lumpur, Malaysia, August 5-6, 2023, Proceedings

Ren, Jinchang ; Hussain, Amir ; Liao, Iman Yi
Springer, Paperback, New

NT$ 2,726
An Introduction to Metalogic

An Introduction to Metalogic

Aladdin M. Yaqub
Broadview Press Ltd, 2014, Paperback, New

NT$ 1,514
Mathematical Labyrinths. Pathfinding: 22 (Problem Solving in Mathematics and Beyond)

Mathematical Labyrinths. Pathfinding: 22 (Problem Solving in Mathematics and Beyond)

Boris Pritsker
Wspc, 2020, Hardcover, New

NT$ 4,027
Mathematics for Computation (M4c)

Mathematics for Computation (M4c)

Benini, Marco ; Beyersdorff, Olaf ; Rathjen, Michael
World Scientific Publishing Company, Hardcover, New

NT$ 6,517
Thinking Matters: Critical Thinking as Creative Problem Solving

Thinking Matters: Critical Thinking as Creative Problem Solving

Mar, Gary R.
World Scientific Publishing Company, Hardcover, New

NT$ 4,442
combinatorial set theory

combinatorial set theory

lorenz j. halbeisen
springer verlag, New

NT$ 5,635
Predicate Logic and Modal Predicate Logic

Predicate Logic and Modal Predicate Logic

Brown, Eric Matthew
Independently Published, Paperback, New

NT$ 1,154
Multi-Objective Group Decision Making: Methods Software and Applications with Fuzzy Set Techniques [With CDROM]

Multi-Objective Group Decision Making: Methods Software and Applications with Fuzzy Set Techniques [With CDROM]

Zhang, Guang-Quan ; Ruan, Da ; Lu, Jie
Imperial College Press, Hardcover, New

NT$ 8,051
Foundations of Decision-Making Agents: Logic, Probability and Modality

Foundations of Decision-Making Agents: Logic, Probability and Modality

Das, Subrata
World Scientific Publishing Company, Hardcover, New

NT$ 7,045
Mathematical Logic in Asia - Proceedings of the 9th Asian Logic Conference

Mathematical Logic in Asia - Proceedings of the 9th Asian Logic Conference

Goncharov, Sergei S. ; Ono, Hiroakira ; Downey, Rodney G.
World Scientific Publishing Company, 2006, Hardcover, New

NT$ 7,045
Sudoku: 500 Medium Puzzles

Sudoku: 500 Medium Puzzles

Alzamili, Khalid
Dr. Khalid Alzamili Pub, Paperback, New

NT$ 562
The Annotated Gödel: A Reader's Guide to his Classic Paper on Logic and Incompleteness

The Annotated Gödel: A Reader's Guide to his Classic Paper on Logic and Incompleteness

Prince, Hal
Homebred Press, Paperback, New

NT$ 570
Jigsaw Sudoku: 500 Hard Puzzles

Jigsaw Sudoku: 500 Hard Puzzles

Alzamili, Khalid
Dr. Khalid Alzamili Pub, Paperback, New

NT$ 586
Brain Twisters, Mind Benders, and Puzzle Conundrums

Brain Twisters, Mind Benders, and Puzzle Conundrums

Coussement, Frank ; de Schepper, Peter
Imagine, 2003, Paperback, New

NT$ 496
visual reasoning with diagrams

visual reasoning with diagrams

Moktefi, Amirouche ; Shin, Sun-Joo
Birkhauser, 2013, Paperback, New

NT$ 3,418
Model-Based Reasoning in Scientific Discovery

Model-Based Reasoning in Scientific Discovery

Magnani, L. ; Nersessian, N. J. ; Thagard, Paul
Springer, Paperback, New

NT$ 10,861
the infinite in mathematics: logico-mathematical writings

the infinite in mathematics: logico-mathematical writings

kaufmann, felix
springer, 1978, New

NT$ 5,112
first order categorical logic

first order categorical logic

makkai,reyes
Springer, New

NT$ 1,896
The art of Proof: Basic Training for Deeper Mathematics (Undergraduate Texts in Mathematics)

The art of Proof: Basic Training for Deeper Mathematics (Undergraduate Texts in Mathematics)

Beck, Matthias ; Geoghegan, Ross
Springer, 2010, Hardcover, New

NT$ 1,619
Rohit Parikh on Logic, Language and Society

Rohit Parikh on Logic, Language and Society

Başkent, Can ; Moss, Lawrence S. ; Ramanujam, Ramaswamy
Springer, Hardcover, New

NT$ 3,695
Perspectives in Computational Complexity: The Somenath Biswas Anniversary Volume

Perspectives in Computational Complexity: The Somenath Biswas Anniversary Volume

Agrawal, Manindra ; Arvind, Vikraman
Birkhauser, Paperback, New

NT$ 3,695
Flexible Query Answering Systems: 14th International Conference, Fqas 2021, Bratislava, Slovakia, September 19-24, 2021, Proceedings

Flexible Query Answering Systems: 14th International Conference, Fqas 2021, Bratislava, Slovakia, September 19-24, 2021, Proceedings

Andreasen, Troels ; de Tré, Guy ; Kacprzyk, Janusz
Springer, Paperback, New

NT$ 2,726
Janus-Faced Probability

Janus-Faced Probability

Rocchi, Paolo
Springer, Paperback, New

NT$ 1,896
Computability and Complexity: Foundations and Tools for Pursuing Scientific Applications

Computability and Complexity: Foundations and Tools for Pursuing Scientific Applications

Downey, Rod
Springer, Paperback, New

NT$ 2,173
Undecidability, Uncomputability, and Unpredictability (The Frontiers Collection)

Undecidability, Uncomputability, and Unpredictability (The Frontiers Collection)

Springer, 2021, 1 edition, Hardcover, New

NT$ 2,865
ai 2003: advances in artificial intelligence: 16th australian conference on ai, perth, australia, december 3-5, 2003, proceedings

ai 2003: advances in artificial intelligence: 16th australian conference on ai, perth, australia, december 3-5, 2003, proceedings

Gedeon, Tamas D. ; Fung, Lance C. C.
Springer, 2004, Paperback, New

NT$ 3,804
Algebraic Approaches to Program Semantics (Monographs in Computer Science)

Algebraic Approaches to Program Semantics (Monographs in Computer Science)

Manes, Ernest G. ; Arbib, Michael A.
Springer, 2014, Paperback, New

NT$ 3,141
Using Event-B for Critical Device Software Systems

Using Event-B for Critical Device Software Systems

Singh, Neeraj Kumar
Springer, Hardcover, New

NT$ 3,418
Logical Foundations of Computer Science: International Symposium, Lfcs 2016, Deerfield Beach, Fl, Usa, January 4-7, 2016. Proceedings

Logical Foundations of Computer Science: International Symposium, Lfcs 2016, Deerfield Beach, Fl, Usa, January 4-7, 2016. Proceedings

Artemov, Sergei ; Nerode, Anil
Springer, Paperback, New

NT$ 1,896
theory and formal methods 1993: proceedings of the first imperial college department of computing workshop on theory and formal methods, isle of thorn

theory and formal methods 1993: proceedings of the first imperial college department of computing workshop on theory and formal methods, isle of thorn

Burn, Geoffrey ; Gay, Simon ; Ryan, Mark
Springer, 1993, Paperback, New

NT$ 1,896
logic program synthesis and transformation: proceedings of lopstr 93, international workshop on logic program synthesis and transformation, louvain-la

logic program synthesis and transformation: proceedings of lopstr 93, international workshop on logic program synthesis and transformation, louvain-la

Deville, Yves
Springer, 1994, Paperback, New

NT$ 1,896
formal methods for components and objects: second international symposium, fmco 2003, leiden, the netherlands, november 4-7, 2003. revised lectures

formal methods for components and objects: second international symposium, fmco 2003, leiden, the netherlands, november 4-7, 2003. revised lectures

Boer, Frank S. de ; Bonsangue, Marcello M. ; Graf, Susanne
Springer, 2004, Paperback, New

NT$ 1,934
Serial Rings

Serial Rings

Puninski, G.
Springer, Paperback, New

NT$ 1,896
Language and Automata Theory and Applications: 12th International Conference, Lata 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings

Language and Automata Theory and Applications: 12th International Conference, Lata 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings

Klein, Shmuel Tomi ; Martín-Vide, Carlos ; Shapira, Dana
Springer, Paperback, New

NT$ 1,896
Abstract State Machines, Alloy, B, Tla, VDM, and Z: 5th International Conference, Abz 2016, Linz, Austria, May 23-27, 2016, Proceedings

Abstract State Machines, Alloy, B, Tla, VDM, and Z: 5th International Conference, Abz 2016, Linz, Austria, May 23-27, 2016, Proceedings

Butler, Michael ; Schewe, Klaus-Dieter ; Mashkoor, Atif
Springer, Paperback, New

NT$ 1,896
25262728293031