Initial Algebras and Terminal Coalgebras

The Theory of Fixed Points of Functors

Institution-independent Model Theory

AI-Based Metaheuristics for Information Security and Digital Media

Arithmetic and Algebraic Geometry

A Mathematical Tribute to Yuri Manin

Set Theory

An Introduction to Axiomatic Reasoning

Quantum Technology Applications, Impact, and Future Challenges

Language of Mathematics

The Stories behind the Symbols

Completely Regular Codes in Distance Regular Graphs

Multi-valued Logic for Decision-Making Under Uncertainty

Artificial Intelligence Of Neuromorphic Systems: From Digital, Analogue, Quantum, And Brain-oriented Computing To Hybrid Ai

Abelian Model Category Theory

Quantum Technology Applications, Impact, and Future Challenges

Logic, Philosophy, and History of the Lambda-Calculus

Theory and Applications

Diskrete Mathematik für die Informatik

Fuzzy Mathematics

A Fundamental Introduction

Blockchain and Digital Twin Applications in Smart Agriculture

New Directions in Relevant Logic

Unequal

The Maths of When Things Do and Don’t Add Up

Univalence Principle

Proof Complexity Generators

Mathematik interaktiv und verständlich

für Naturwissenschaftler, Ingenieure und Mediziner

Advances in Brain Inspired Cognitive Systems

14th International Conference, BICS 2024, Hefei, China, December 6–8, 2024, Proceedings, Part II

Multi-valued Logic for Decision-Making Under Uncertainty

Advances in Brain Inspired Cognitive Systems

14th International Conference, BICS 2024, Hefei, China, December 6–8, 2024, Proceedings, Part I

Mathematical and Philosophical Legacy of Alexander Grothendieck

Initial Algebras and Terminal Coalgebras

The Theory of Fixed Points of Functors

Completely Regular Semigroup Varieties

Applications and Advanced Techniques

Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume I: Set Theory (Second Edition)

Logic in Computer Science

Science, Pseudoscience, and the Demarcation Problem

Language of Mathematics

The Stories behind the Symbols

Blockchain and Digital Twin Applications in Smart Agriculture

Science, Pseudoscience, and the Demarcation Problem

Mathe übersichtlich: Von den Basics bis zur Analysis

240 Themen zum Nachlesen und Verstehen auf jeweils einer Seite

Higher Recursion Theory And Set Theory

Advancements in Cybersecurity

Next-Generation Systems and Applications