This selection contains Springer Nature titles

## Refine Search

### Content Type

### Topics

- Mathematical Logic and Foundations 724 Remove
- Logic 112
- Artificial Intelligence 75
- Mathematical Logic and Formal Languages 64
- Theory of Computation 25

- History of Mathematics 22
- Algebra 20
- Operation Research/Decision Theory 18
- Philosophy of Science 17
- Mathematics (general) 15
- Order, Lattices, Ordered Algebraic Structures 15
- Analysis 14
- Topology 13
- Logics and Meanings of Programs 12
- Discrete Mathematics 11
- Epistemology 10
- Programming Languages, Compilers, Interpreters 10
- Systems Theory, Control 8
- Number Theory 8
- Probability Theory and Stochastic Processes 8
- Software Engineering / Programming and Operating Systems 7
- Discrete Mathematics in Computer Science 7
- Combinatorics 7
- Computation by Abstract Devices 6
- General Algebraic Systems 6
- Real Functions 6
- Applications of Mathematics 6
- Philosophy of Mathematics 5
- Computer System Implementation 5
- Data Structures and Information Theory 5
- Algorithm Analysis and Problem Complexity 5
- Geometry 5
- Computer Science (general) 4
- Mathematics of Computing 4
- Mathematical Applications in Computer Science 4
- Algebraic Geometry 4
- Category Theory, Homological Algebra 4
- Optimization 4
- Mathematics Education 4
- Theoretical, Mathematical and Computational Physics 4
- Appl. Mathematics / Computational Methods of Engineering 4
- Computational Intelligence 4
- Philosophy of Language 3
- Logic Design 3
- Programming Techniques 3
- Functional Analysis 3
- Measure and Integration 3
- Complex Systems 3
- Electrical Engineering 3
- History of Science 2
- Chemistry (general) 2
- Physical Chemistry 2
- Philosophy (general) 2
- History of Philosophy 2
- Phenomenology 2
- Psychiatry 2
- Software Engineering 2
- Models and Principles 2
- Cryptology 2
- Geographical Information Systems / Cartography 2
- Commutative Rings and Algebras 2
- Group Theory and Generalizations 2
- Algorithms 2
- Computational Science and Engineering 2
- Visualization 2
- Calculus of Variations and Optimal Control; Optimization 2
- Mathematical and Computational Biology 2
- Theoretical Linguistics 2
- Quantum Physics 2
- Complexity 2
- Mechanical Engineering 2
- Nuclear Energy 1
- Library Science 1
- Business and Management, general 1
- Management 1
- Medieval Philosophy 1
- Philosophy of Technology 1
- Analytic Philosophy 1
- German Idealism 1
- Geophysics / Geodesy 1
- Computer Hardware 1
- Coding and Information Theory 1
- Probability and Statistics in Computer Science 1
- Symbolic and Algebraic Manipulation 1
- Data Mining and Knowledge Discovery 1
- Information Systems Applications (incl.Internet) 1
- Natural Language Processing (NLP) 1
- Computer Imaging, Vision, Pattern Recognition and Graphics 1
- Pattern Recognition 1
- Field Theory and Polynomials 1
- Functions of a Complex Variable 1
- Integral Transforms, Operational Calculus 1
- Partial Differential Equations 1
- Game Theory, Economics, Social and Behav. Sciences 1
- Complex Systems 1
- Mathematical Models of Cognitive Processes and Neural Networks 1
- Mathematics of Algorithmic Complexity 1
- Mathematical Modeling and Industrial Mathematics 1
- Convex and Discrete Geometry 1
- Differential Geometry 1

### Release Date

### Language

### Publisher

#### Fuzzy Logic

**Available Formats:**
Hardcover
eBook

#### Hajnal Andréka and István Németi on Unity of Science

**Available Formats:**
Hardcover
eBook

#### Logical Methods

**Available Formats:**
Softcover
eBook

#### Biological Models via Interval Type-2 Fuzzy Sets

**Available Formats:**
Softcover
eBook

#### Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

**Available Formats:**
Hardcover
eBook

#### The Panenmentalist Philosophy of Science

**Available Formats:**
Softcover
Hardcover
eBook

#### Ludwig Wittgenstein: Dictating Philosophy

**Available Formats:**
Hardcover
eBook

#### Applications of Mathematics and Informatics in Natural Sciences and Engineering

**Available Formats:**
Hardcover
eBook

#### The Foundations of Computability Theory

**Available Formats:**
Hardcover
eBook

#### Noneist Explorations II

**Available Formats:**
Hardcover
eBook

#### Finite Mathematics as the Foundation of Classical Mathematics and Quantum Theory

**Available Formats:**
Hardcover
eBook

#### An Invitation to Abstract Mathematics

**Available Formats:**
Hardcover
eBook

#### Decidability of Logical Theories and Their Combination

**Available Formats:**
Hardcover
eBook

#### Gödel's Theorems and Zermelo's Axioms

**Available Formats:**
Hardcover
eBook

#### The Legacy of Kurt Schütte

**Available Formats:**
Hardcover
eBook

#### Can Mathematics Be Proved Consistent?

**Available Formats:**
Hardcover
eBook

#### Foundations of Software Science and Computation Structures

**Available Formats:**
Softcover
eBook

#### Knowledge, Proof and Dynamics

**Available Formats:**
Hardcover
eBook

#### Geometry

**Available Formats:**
Softcover
eBook

#### Collected Works in Ordered Structures and Mathematical Logic

**Available Formats:**
Hardcover