你好! 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 1.160 Books for springer

Categories for the Working Mathematician (Graduate Texts in Mathematics)

Categories for the Working Mathematician (Graduate Texts in Mathematics)

Mac Lane, Saunders
Springer, 1998, Hardcover, New

NT$ 2,198
Sets, Logic and Categories

Sets, Logic and Categories

Cameron, Peter J.
Springer, 1999, Paperback, New

NT$ 1,363
Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

Kohlhase, Michael ; Johansson, Moa ; Miller, Bruce
Springer, Paperback, New

NT$ 1,588
A Basis for Theoretical Computer Science

A Basis for Theoretical Computer Science

Arbib, M. a. ; Kfoury, A. J. ; Moll, R. N.
Springer, 1 edition, Paperback, New

NT$ 1,860
Exploring Meinong’S Jungle and Beyond: The Sylvan Jungle - Volume 1 (Synthese Library)

Exploring Meinong’S Jungle and Beyond: The Sylvan Jungle - Volume 1 (Synthese Library)

Richard Routley
Springer, 2019, 1 edition, Hardcover, New

NT$ 4,987
Banach Spaces of Continuous Functions as Dual Spaces

Banach Spaces of Continuous Functions as Dual Spaces

Dales, H. G. ; Dashiell Jr, F. K. ; Lau, A. T. -M
Springer, Paperback, New

NT$ 3,899
Incompleteness for Higher-Order Arithmetic: An Example Based on Harrington's Principle

Incompleteness for Higher-Order Arithmetic: An Example Based on Harrington's Principle

Cheng, Yong
Springer, Paperback, New

NT$ 2,132
What is Fundamental? (The Frontiers Collection)

What is Fundamental? (The Frontiers Collection)

Springer, 2019, 1 edition, Hardcover, New

NT$ 2,675
Real Analysis: Foundations

Real Analysis: Foundations

Ovchinnikov, Sergei
Springer, 1 edition, Paperback, New

NT$ 1,860
Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 With Examples From Simplicial Topology

Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 With Examples From Simplicial Topology

Löh, Clara
Springer, Paperback, New

NT$ 1,996
Mathematical Logic

Mathematical Logic

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

NT$ 2,539
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,860
notes on set theory

notes on set theory

Yiannis Moschovakis
Springer, 2005, Hardcover, New

NT$ 2,867
notes on set theory

notes on set theory

moschovakis, yiannis
springer, 2005, New

NT$ 2,268
algebraic logic

algebraic logic

gindikin
Springer, New

NT$ 3,355
proof theory of modal logic

proof theory of modal logic

Springer, New

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

history and philosophy of constructive type theory

sommaruga, giovanni
springer, 2000, New

NT$ 5,107
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,196
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,355
induction, algorithmic learning theory, and philosophy

induction, algorithmic learning theory, and philosophy

friend, michele
springer, 2007, New

NT$ 5,051
Logic and Structure (Universitext)

Logic and Structure (Universitext)

Dirk Van Dalen; D. Van Dalen
Springer, 2012, 5 edition, Paperback, New

NT$ 2,794
semi-markov models and applications

semi-markov models and applications

Janssen, Jacques ; Limnios, Nikolaos
Springer, 2011, Paperback, New

NT$ 6,346
Fuzzy Logic and Soft Computing

Fuzzy Logic and Soft Computing

Guoqing Chen ; Mingsheng Ying ; Kai-Yuan Cai
Springer, Paperback, New

NT$ 4,987
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,860
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,860
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,860
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,860
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
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,627
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,811
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,860
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,860
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 16th European Conference, Ecsqaru 2021, Prague, Czech Republic, September 21-24, 2

Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 16th European Conference, Ecsqaru 2021, Prague, Czech Republic, September 21-24, 2

Vejnarová, Jiřina ; Wilson, Nic
Springer, Paperback, New

NT$ 3,899
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,355
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,717
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,355
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,860
Founding Mathematics on Semantic Conventions

Founding Mathematics on Semantic Conventions

Hansen, Casper Storm
Springer, Paperback, New

NT$ 3,627
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, Hardcover, New

NT$ 3,627
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,715
Lessons in Enumerative Combinatorics

Lessons in Enumerative Combinatorics

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

NT$ 1,860
First-Order Modal Logic

First-Order Modal Logic

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

NT$ 3,899
hans hahn gesammelte abhandlungen: band 3

hans hahn gesammelte abhandlungen: band 3

sigmund, karl
springer, 2003, New

NT$ 4,146
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,860
Concrete Semantics: With Isabelle/Hol

Concrete Semantics: With Isabelle/Hol

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

NT$ 2,158
constructive mathematics

constructive mathematics

Springer, New

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

logic symposia, hakone, 1979, 1980

Springer, New

NT$ 1,602
injective choice functions

injective choice functions

holz,podewski,steffens
Springer, New

NT$ 1,085
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,860
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,860
12345