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

Implementation and Application of Automata: 23rd International Conference, Ciaa 2018, Charlottetown, Pe, Canada, July 30 - August 2, 2018, Proceedings

Implementation and Application of Automata: 23rd International Conference, Ciaa 2018, Charlottetown, Pe, Canada, July 30 - August 2, 2018, Proceedings

Câmpeanu, Cezar
Springer, Paperback, New

NT$ 1,858
Collected Papers: Volume 2: 1935-1944

Collected Papers: Volume 2: 1935-1944

Tarski, Alfred
Birkhauser, Hardcover, New

NT$ 5,900
Chinese Lexical Semantics: 22nd Workshop, Clsw 2021, Nanjing, China, May 15-16, 2021, Revised Selected Papers, Part I

Chinese Lexical Semantics: 22nd Workshop, Clsw 2021, Nanjing, China, May 15-16, 2021, Revised Selected Papers, Part I

Dong, Minghui ; Gu, Yanhui ; Hong, Jia-Fei
Springer, Paperback, New

NT$ 3,359
Fuzzy Decision Procedures with Binary Relations: Towards a Unified Theory

Fuzzy Decision Procedures with Binary Relations: Towards a Unified Theory

Kitainik, Leonid
Springer, Paperback, New

NT$ 4,996
Exploring the Secrets of the Aurora

Exploring the Secrets of the Aurora

Akasofu, Syun-Ichi
Springer, Paperback, New

NT$ 1,858
Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings

Mathematics of Program Construction: 13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings

Hutton, Graham
Springer, Paperback, New

NT$ 1,858
Lessons in Enumerative Combinatorics

Lessons in Enumerative Combinatorics

Eğecioğlu, Ömer ; Garsia, Adriano M.
Springer, Paperback, New

NT$ 1,858
Understanding and Interpreting Machine Learning in Medical Image Computing Applications: First International Workshops, Mlcn 2018, Dlf 2018, and IMIMI

Understanding and Interpreting Machine Learning in Medical Image Computing Applications: First International Workshops, Mlcn 2018, Dlf 2018, and IMIMI

Stoyanov, Danail ; Taylor, Zeike ; Kia, Seyed Mostafa
Springer, Paperback, New

NT$ 1,858
algebraic logic

algebraic logic

gindikin
Springer, New

NT$ 3,359
R-Calculus, II: Many-Valued Logics

R-Calculus, II: Many-Valued Logics

Li, Wei ; Sui, Yuefei
Springer, Hardcover, New

NT$ 4,996
The Semantic Web: Eswc 2020 Satellite Events: Eswc 2020 Satellite Events, Heraklion, Crete, Greece, May 31 - June 4, 2020, Revised Selected Papers

The Semantic Web: Eswc 2020 Satellite Events: Eswc 2020 Satellite Events, Heraklion, Crete, Greece, May 31 - June 4, 2020, Revised Selected Papers

Harth, Andreas ; Presutti, Valentina ; Troncy, Raphaël
Springer, Paperback, New

NT$ 1,858
The Mathematical Philosophy of Bertrand Russell: Origins and Development

The Mathematical Philosophy of Bertrand Russell: Origins and Development

Rodríguez-Consuegra, Francisco
Birkhauser, Paperback, New

NT$ 1,858
Theoretical Aspects of Computing - Ictac 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

Theoretical Aspects of Computing - Ictac 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

Leucker, Martin ; Rueda, Camilo ; Valencia, Frank D.
Springer, Paperback, New

NT$ 1,858
Awareness in Logic and Epistemology: A Conceptual Schema and Logical Study of the Underlying Main Epistemic Concepts

Awareness in Logic and Epistemology: A Conceptual Schema and Logical Study of the Underlying Main Epistemic Concepts

Fernández-Fernández, Claudia
Springer, Hardcover, New

NT$ 3,359
Logic - Language - Ontology: Selected Works

Logic - Language - Ontology: Selected Works

Wybraniec-Skardowska, Urszula B.
Birkhauser, Hardcover, New

NT$ 4,723
Organized Crime: Culture, Markets and Policies (Studies of Organized Crime)

Organized Crime: Culture, Markets and Policies (Studies of Organized Crime)

Richard L. Epstein
Springer, 2008, Paperback, New

NT$ 1,858
Introduction to Axiomatic Set Theory

Introduction to Axiomatic Set Theory

Krivine, J. L. ; Miller, David
Springer, Paperback, New

NT$ 3,359
limit theorems and applications of set-valued and fuzzy set-valued random variables

limit theorems and applications of set-valued and fuzzy set-valued random variables

kreinovich,ogura,shoumei li
Springer, New

NT$ 3,359
proof theory of modal logic

proof theory of modal logic

Springer, New

NT$ 4,996
history and philosophy of constructive type theory

history and philosophy of constructive type theory

sommaruga, giovanni
springer, 2000, New

NT$ 5,113
Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

Düntsch, Ivo ; Mares, Edwin
Springer, Paperback, New

NT$ 4,723
Modelling Nature: An Opinionated Introduction to Scientific Representation

Modelling Nature: An Opinionated Introduction to Scientific Representation

Frigg, Roman ; Nguyen, James
Springer, Paperback, New

NT$ 3,632
Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

Düntsch, Ivo ; Mares, Edwin
Springer, Hardcover, New

NT$ 4,725
Mathematical Logic

Mathematical Logic

Ebbinghaus, Heinz-Dieter ; Flum, Jörg ; Thomas, Wolfgang
Springer, 2021, Hardcover, New

NT$ 2,516
formal logic

formal logic

lorenzen, paul
springer, 1964, New

NT$ 3,359
6th refinement workshop: proceedings of the 6th refinement workshop, organized by bcs-facs, london, 5 - 7 january 1994

6th refinement workshop: proceedings of the 6th refinement workshop, organized by bcs-facs, london, 5 - 7 january 1994

Till, David
Springer, 1994, Paperback, New

NT$ 1,858
notations for software design

notations for software design

Feijs, Loe M. G. ; Jonkers, Hans B. M. ; Middelburg, Cornelis a.
Springer, 1994, Paperback, New

NT$ 1,858
algebra of communicating processes: proceedings of acp94, the first workshop on the algebra of communicating processes, utrecht, the netherlands, 16 -

algebra of communicating processes: proceedings of acp94, the first workshop on the algebra of communicating processes, utrecht, the netherlands, 16 -

Ponse, Alban ; Verhoef, Christiaan ; Vlijmen, Sebastiaan F. M. Van
Springer, 1994, Hardcover, New

NT$ 1,858
Functional and Constraint Logic Programming: 28th International Workshop, Wflp 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers

Functional and Constraint Logic Programming: 28th International Workshop, Wflp 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers

Hanus, Michael ; Sacerdoti Coen, Claudio
Springer, Paperback, New

NT$ 1,858
Concrete Semantics: With Isabelle/Hol

Concrete Semantics: With Isabelle/Hol

Nipkow, Tobias ; Klein, Gerwin
Springer, 1 edition, Paperback, New

NT$ 2,125
Membrane Computing: 18th International Conference, CMC 2017, Bradford, Uk, July 25-28, 2017, Revised Selected Papers

Membrane Computing: 18th International Conference, CMC 2017, Bradford, Uk, July 25-28, 2017, Revised Selected Papers

Gheorghe, Marian ; Rozenberg, Grzegorz ; Salomaa, Arto
Springer, Paperback, New

NT$ 1,858
constructive mathematics

constructive mathematics

Springer, New

NT$ 1,577
Descriptional Complexity of Formal Systems: 19th Ifip Wg 1.02 International Conference, Dcfs 2017, Milano, Italy, July 3-5, 2017, Proceedings

Descriptional Complexity of Formal Systems: 19th Ifip Wg 1.02 International Conference, Dcfs 2017, Milano, Italy, July 3-5, 2017, Proceedings

Pighizzini, Giovanni ; Câmpeanu, Cezar
Springer, Paperback, New

NT$ 1,858
logic symposia, hakone, 1979, 1980

logic symposia, hakone, 1979, 1980

Springer, New

NT$ 1,577
induction, algorithmic learning theory, and philosophy

induction, algorithmic learning theory, and philosophy

friend, michele
springer, 2007, New

NT$ 5,059
injective choice functions

injective choice functions

holz,podewski,steffens
Springer, New

NT$ 1,068
Diagonalization in Formal Mathematics (Bestmasters)

Diagonalization in Formal Mathematics (Bestmasters)

Paulo Guilherme Santos
Springer Spektrum, 2020, 1 edition, Paperback, New

NT$ 1,858
R-Calculus: A Logic of Belief Revision

R-Calculus: A Logic of Belief Revision

Li, Wei ; Sui, Yuefei
Springer, Paperback, New

NT$ 3,359
99 Variations on a Proof

99 Variations on a Proof

Ording, Philip
Princeton University Press, 2021, Paperback, New

NT$ 921
Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, Setta 2017, Changsha, China, October 23-25, 2017, P

Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, Setta 2017, Changsha, China, October 23-25, 2017, P

Larsen, Kim Guldstrand ; Sokolsky, Oleg ; Wang, Ji
Springer, Paperback, New

NT$ 1,858
KI 2019: Advances in Artificial Intelligence: 42nd German Conference on Ai, Kassel, Germany, September 23-26, 2019, Proceedings

KI 2019: Advances in Artificial Intelligence: 42nd German Conference on Ai, Kassel, Germany, September 23-26, 2019, Proceedings

Benzmüller, Christoph ; Stuckenschmidt, Heiner
Springer, Paperback, New

NT$ 2,404
Fuzzy Relational Systems: Foundations and Principles (Ifsr International Series in Systems Science and Systems Engineering)

Fuzzy Relational Systems: Foundations and Principles (Ifsr International Series in Systems Science and Systems Engineering)

Radim BelohlÁVek
Springer, 2002, Hardcover, New

NT$ 5,200
Formal Methods: Foundations and Applications: 20th Brazilian Symposium, Sbmf 2017, Recife, Brazil, November 29 -- December 1, 2017, Proceedings

Formal Methods: Foundations and Applications: 20th Brazilian Symposium, Sbmf 2017, Recife, Brazil, November 29 -- December 1, 2017, Proceedings

Cavalheiro, Simone ; Fiadeiro, José
Springer, Paperback, New

NT$ 2,267
constructive negations and paraconsistency

constructive negations and paraconsistency

odintsov, sergei
springer, 2010, New

NT$ 3,359
Automated Reasoning: 10th International Joint Conference, Ijcar 2020, Paris, France, July 1-4, 2020, Proceedings, Part I

Automated Reasoning: 10th International Joint Conference, Ijcar 2020, Paris, France, July 1-4, 2020, Proceedings, Part I

Peltier, Nicolas ; Sofronie-Stokkermans, Viorica
Springer, Paperback, New

NT$ 2,813
hans hahn gesammelte abhandlungen: band 3

hans hahn gesammelte abhandlungen: band 3

sigmund, karl
springer, 2003, New

NT$ 4,081
Beyond the Horizon of Computability: 16th Conference on Computability in Europe, Cie 2020, Fisciano, Italy, June 29-July 3, 2020, Proceedings

Beyond the Horizon of Computability: 16th Conference on Computability in Europe, Cie 2020, Fisciano, Italy, June 29-July 3, 2020, Proceedings

Anselmo, Marcella ; Della Vedova, Gianluca ; Manea, Florin
Springer, Paperback, New

NT$ 1,858
First-Order Modal Logic

First-Order Modal Logic

Fitting, Melvin ; Mendelsohn, Richard L.
Springer, Hardcover, New

NT$ 3,905
Combinatorics on Words: 12th International Conference, Words 2019, Loughborough, Uk, September 9-13, 2019, Proceedings

Combinatorics on Words: 12th International Conference, Words 2019, Loughborough, Uk, September 9-13, 2019, Proceedings

Mercaş, Robert ; Reidenbach, Daniel
Springer, Paperback, New

NT$ 1,858
Flexible Query Answering Systems: 13th International Conference, Fqas 2019, Amantea, Italy, July 2-5, 2019, Proceedings

Flexible Query Answering Systems: 13th International Conference, Fqas 2019, Amantea, Italy, July 2-5, 2019, Proceedings

Cuzzocrea, Alfredo ; Greco, Sergio ; Larsen, Henrik Legind
Springer, Paperback, New

NT$ 1,858
1234567