你好! 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

doing worlds with words: formal semantics without formal metaphysics

doing worlds with words: formal semantics without formal metaphysics

Peregrin, J.
Springer, 2010, Paperback, New

NT$ 3,359
The Art of Proof: Basic Training for Deeper Mathematics

The Art of Proof: Basic Training for Deeper Mathematics

Beck, Matthias ; Geoghegan, Ross
Springer, Paperback, New

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

induction, algorithmic learning theory, and philosophy

friend, michele
springer, 2010, New

NT$ 4,996
Automated Theorem Proving

Automated Theorem Proving

Bibel, Wolfgang
Vieweg+teubner Verlag, Paperback, New

NT$ 3,359
excursions in the history of mathematics

excursions in the history of mathematics

Kleiner, Israel
Birkhauser, Hardcover, New

NT$ 3,086
the mathematical experience

the mathematical experience

Davis, Philip ; Hersh, Reuben ; Marchisotto, Elena Anne
Birkhauser, Paperback, New

NT$ 2,407
Artificial Intelligence: 16th Russian Conference, Rcai 2018, Moscow, Russia, September 24-27, 2018, Proceedings

Artificial Intelligence: 16th Russian Conference, Rcai 2018, Moscow, Russia, September 24-27, 2018, Proceedings

Kuznetsov, Sergei O. ; Osipov, Gennady S. ; Stefanuk, Vadim L.
Springer, Paperback, New

NT$ 1,858
Metadata and Semantic Research: 13th International Conference, Mtsr 2019, Rome, Italy, October 28-31, 2019, Revised Selected Papers

Metadata and Semantic Research: 13th International Conference, Mtsr 2019, Rome, Italy, October 28-31, 2019, Revised Selected Papers

Garoufallou, Emmanouel ; Fallucchi, Francesca ; William de Luca, Ernesto
Springer, Paperback, New

NT$ 1,858
Foundations of Information and Knowledge Systems: 9th International Symposium, Foiks 2016, Linz, Austria, March 7-11, 2016. Proceedings

Foundations of Information and Knowledge Systems: 9th International Symposium, Foiks 2016, Linz, Austria, March 7-11, 2016. Proceedings

Gyssens, Marc ; Simari, Guillermo
Springer, Paperback, New

NT$ 1,858
Analysis and Evaluation of Fuzzy Systems

Analysis and Evaluation of Fuzzy Systems

Ishikawa, Akira ; Wilson, Terry L.
Springer, Paperback, New

NT$ 1,858
parsing theory ii: lr(k) and ll(k) parsing

parsing theory ii: lr(k) and ll(k) parsing

Sippu, Seppo ; Soisalon-Soininen, Eljas
Springer, 2010, Paperback, New

NT$ 1,929
An Algebraic Introduction to Mathematical Logic

An Algebraic Introduction to Mathematical Logic

Barnes, D. W. ; Mack, J. M.
Springer, Paperback, New

NT$ 2,813
Nonstandard Methods of Analysis

Nonstandard Methods of Analysis

Kusraev, A. G. ; Kutateladze, Semën Samsonovich
Springer, Paperback, New

NT$ 3,359
Chapters from Gödel's Unfinished Book on Foundational Research in Mathematics

Chapters from Gödel's Unfinished Book on Foundational Research in Mathematics

Von Plato, Jan
Springer, Paperback, New

NT$ 3,632
Graph Structures for Knowledge Representation and Reasoning: 5th International Workshop, Gkr 2017, Melbourne, Vic, Australia, August 21, 2017, Revised

Graph Structures for Knowledge Representation and Reasoning: 5th International Workshop, Gkr 2017, Melbourne, Vic, Australia, August 21, 2017, Revised

Croitoru, Madalina ; Marquis, Pierre ; Rudolph, Sebastian
Springer, Paperback, New

NT$ 1,655
Scientific Philosophy

Scientific Philosophy

Gustavo E. Romero
Springer, 2018, 1 edition, Hardcover, New

NT$ 2,813
non-axiomatic logic: a model of intelligent reasoning

non-axiomatic logic: a model of intelligent reasoning

Wang, Pei
World Scientific Publishing Company, 2013, Hardcover, New

NT$ 4,016
Theory of Sets

Theory of Sets

N. Bourbaki
(1)
Springer, 2004, Paperback, New

NT$ 2,267
inductive logic programming

inductive logic programming

Frasconi, Paolo ; Lisi, Francesca A.
Springer, Paperback, New

NT$ 1,929
Logic Puzzles For Adults & Seniors: 1000 Easy Variety Puzzles

Logic Puzzles For Adults & Seniors: 1000 Easy Variety Puzzles

Alzamili, Khalid
Independently Published, Paperback, New

NT$ 774
200 Hard Sikaku Puzzles: Japanese Puzzle

200 Hard Sikaku Puzzles: Japanese Puzzle

Olesia, Ann
Independently Published, Paperback, New

NT$ 698
Sudoku for beginners: Easy Sudoku Puzzles and Solutions for Beginners

Sudoku for beginners: Easy Sudoku Puzzles and Solutions for Beginners

Moore, Ronald
Independently Published, Paperback, New

NT$ 648
Easy Sudoku 300 Puzzles Vol.3: Sudoku for adults easy book

Easy Sudoku 300 Puzzles Vol.3: Sudoku for adults easy book

Cherry, Jeff
Independently Published, Paperback, New

NT$ 683
Large print Sudoku for Experts: Brain Games For Adults, 16x16 Large Print (Sudoku For Adults)

Large print Sudoku for Experts: Brain Games For Adults, 16x16 Large Print (Sudoku For Adults)

Winter, Jane
Independently Published, Paperback, New

NT$ 579
Sudoku Puzzles For Adults: Large Print Sudoku Puzzle Book For Seniors Medium To Hard To Keep Your Brain Young And Active (With Solutions)

Sudoku Puzzles For Adults: Large Print Sudoku Puzzle Book For Seniors Medium To Hard To Keep Your Brain Young And Active (With Solutions)

Brain, Active
Independently Published, Paperback, New

NT$ 766
The Real Numbers: An Introduction to Set Theory and Analysis

The Real Numbers: An Introduction to Set Theory and Analysis

Stillwell, John
Springer, Paperback, New

NT$ 1,146
Pluralism in Mathematics: A New Position in Philosophy of Mathematics

Pluralism in Mathematics: A New Position in Philosophy of Mathematics

Friend, Michèle
Springer, Paperback, New

NT$ 3,359
From Logic to Practice: Italian Studies in the Philosophy of Mathematics

From Logic to Practice: Italian Studies in the Philosophy of Mathematics

Lolli, Gabriele ; Panza, Marco ; Venturi, Giorgio
Springer, Paperback, New

NT$ 1,858
God and Abstract Objects: The Coherence of Theism: Aseity

God and Abstract Objects: The Coherence of Theism: Aseity

Craig, William Lane
Springer, Paperback, New

NT$ 5,269
L.E.J. Brouwer - Topologist, Intuitionist, Philosopher: How Mathematics Is Rooted in Life

L.E.J. Brouwer - Topologist, Intuitionist, Philosopher: How Mathematics Is Rooted in Life

Van Dalen, Dirk
Springer, Paperback, New

NT$ 2,055
Analysis of the Navier-Stokes Problem: Solution of a Millennium Problem

Analysis of the Navier-Stokes Problem: Solution of a Millennium Problem

Ramm, Alexander G.
Springer, Hardcover, New

NT$ 1,146
Nonogram Puzzle Books for Adults: Hanjie Picross Griddlers Puzzles Book - 110 Puzzles Easy to Hard

Nonogram Puzzle Books for Adults: Hanjie Picross Griddlers Puzzles Book - 110 Puzzles Easy to Hard

Kasmi, Mohammed
Independently Published, Paperback, New

NT$ 547
Big Book of Sudoku X: 1000 Easy to Hard Puzzles

Big Book of Sudoku X: 1000 Easy to Hard Puzzles

Alzamili, Khalid
Independently Published, Paperback, New

NT$ 589
Fundamentals of Mathematical Logic

Fundamentals of Mathematical Logic

States Academic Press, Hardcover, New

NT$ 5,229
Numbrix Logic Puzzles: 500 Easy to Hard (10x10) : : Keep Your Brain Young

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

Alzamili, Khalid
Independently Published, Paperback, New

NT$ 505
Samurai Sudoku for adults & Seniors: 500 Hard Sudoku Puzzles Overlapping into 100 Samurai Style

Samurai Sudoku for adults & Seniors: 500 Hard Sudoku Puzzles Overlapping into 100 Samurai Style

Alzamili, Khalid
Independently Published, Paperback, New

NT$ 505
Introduction to Mathematical Logic

Introduction to Mathematical Logic

Larsen And Keller Education, 2019, Hardcover, New

NT$ 4,804
lmps - proc of 13th int congress, vol 2

lmps - proc of 13th int congress, vol 2

cai, shushan
college publications, 2011, New

NT$ 1,075
handbook of mathematical fuzzy logic. volume 2

handbook of mathematical fuzzy logic. volume 2

Cintula, Petr ; H. Jek, Petr ; Noguera, Carles
College Publications, 2011, Paperback, New

NT$ 1,011
A View of Connexive Logics

A View of Connexive Logics

Nissim Francez
College Publications, 2021, Paperback, New

NT$ 780
Philosophical Applications of Modal Logic

Philosophical Applications of Modal Logic

Lloyd Humberstone
College Publications, 2016, Paperback, New

NT$ 1,349
Numbers

Numbers

Melvin Fitting; Greer Fitting
College Publications, Paperback, New

NT$ 780
Journal of Applied Logics - The IfCoLog Journal of Logics and their Applications: Volume 6, Issue 3, May 2019

Journal of Applied Logics - The IfCoLog Journal of Logics and their Applications: Volume 6, Issue 3, May 2019

Gabbay, Dov
College Publications, Paperback, New

NT$ 738
Ifcolog Journal of Logics and their Applications. Special Issue Dedicated to the Memory of Grigory Mints. Volume 4, number 4

Ifcolog Journal of Logics and their Applications. Special Issue Dedicated to the Memory of Grigory Mints. Volume 4, number 4

Gabbay, Dov ; Prosorov, Oleg
College Publications, Paperback, New

NT$ 1,201
Argumentation and Inference. Volume ii: Proceedings of the 2nd European Conference on Argumentation

Argumentation and Inference. Volume ii: Proceedings of the 2nd European Conference on Argumentation

Steve Oswald-
College Publications, 2018, Paperback, New

NT$ 1,349
Investigations into the Predicate Calculus

Investigations into the Predicate Calculus

Ketonen, Oiva ; Negri, Sara ; Von Plato, Jan
College Publications, Paperback, New

NT$ 738
Selected Topics from Contemporary Logics

Selected Topics from Contemporary Logics

Fitting, Melvin
College Publications, Paperback, New

NT$ 1,180
Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic. Second Edition

Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic. Second Edition

Augusto, Luis M.
College Publications, Paperback, New

NT$ 1,180
Deontic Logic and Normative Systems. 13Th International Conference, Deon 2016

Deontic Logic and Normative Systems. 13Th International Conference, Deon 2016

Roy, Olivier ; Tamminga, Allard ; Willer, Malte
Kings College Pubn, Paperback, New

NT$ 739
Journal of Applied Logics, Volume 8, Number 9, October 2021. Special issue: Reasoning with and about Legal Argumentation: Methodologies of Research fo

Journal of Applied Logics, Volume 8, Number 9, October 2021. Special issue: Reasoning with and about Legal Argumentation: Methodologies of Research fo

Araszkiewicz, Michal ; Zurek, Tomasz
College Publications, Paperback, New

NT$ 695
78910111213