Mathematical Foundation eTextbooks

Godel's Theorems and Zermelo's Axioms

A Firm Foundation of Mathematics

What Is Mathematical Logic?

The Random Number Code

Unlocking the Secrets of Numbers That You Can't Predict but Can Rely On

Combinatorial Set Theory

With a Gentle Introduction to Forcing

Simple Type Theory

A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Institution-independent Model Theory

Uncertain Multi-objective Decision Making

Methods and Industrial Models

First-Order Schemata and Inductive Proof Analysis

Computer Science (R0)

Cartesian Cubical Model Categories

Mathematics and Statistics (R0)

Reading, Writing, and Proving

A Closer Look at Mathematics

Limits of Mathematics

A Journey Through the Key Areas of Mathematical Logic

Ideals, Varieties, and Algorithms

An Introduction to Computational Algebraic Geometry and Commutative Algebra

Thinking Programs

Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Computable Structure Theory

A Unified Approach

Introduction to Homotopy Type Theory

Philosophical Methodology After Carnap

Philosophy and Religion (R0)

Metainferences in Substructural Logics

Philosophy and Religion (R0)

Maths skills for success at university

Statistics and Causality

Methods for Applied Empirical Research

Probabilities

The Little Numbers That Rule Our Lives

Mathematics and the Divine

A Historical Study

Discrete Mathematics with Applications

Microsoft Log Parser Toolkit

A complete toolkit for Microsoft's undocumented log analysis tool

The Origin of the Logic of Symbolic Mathematics

Edmund Husserl and Jacob Klein

The Criminology of White-Collar Crime

Notes from Lectures Presented During the Winter Semester 1978/79 at the Department of Laser Physics, Institute of Applied Physics University Berne, Switzerland

Neural Cell Behavior and Fuzzy Logic

The Being of Neural Cells and Mathematics of Feeling

Contemporary Perspectives on Lesbian, Gay, and Bisexual Identities

A Boolean Approach to the Analysis of Complex Regulatory Systems : Proceedings of the EMBO Course "Formal Analysis of Genetic Regulation, " Held in Brussels, September 6-16, 1977

The q-theory of Finite Semigroups

A New Approach

Reconfigurable Computing

Accelerating Computation with Field-Programmable Gate Arrays

Super-Recursive Algorithms

Abstraction, Refinement and Proof for Probabilistic Systems

Essays in Constructive Mathematics

Dualisability

Unary Algebras and Beyond

Coordination of Large-Scale Multiagent Systems

Adapting Proofs-as-Programs

The Curry--Howard Protocol

18 Unconventional Essays on the Nature of Mathematics

M-Solid Varieties of Algebras

Mathematical Problems from Applied Logic I

Logics for the XXIst Century

Nonlinear Dimensionality Reduction

Hypercomputation

Computing Beyond the Church-Turing Barrier

New Computational Paradigms

Changing Conceptions of What is Computable

Mathematical Problems from Applied Logic II

Logics for the XXIst Century

The Mathematical Coloring Book

Mathematics of Coloring and the Colorful Life of its Creators

Organized Crime

Culture, Markets and Policies

A Missing Link in Cybernetics

Logic and Continuity

Fuzzy Multi-Criteria Decision Making

Theory and Applications with Recent Developments

Decision Modeling and Behavior in Complex and Uncertain Environments

Scenario Logic and Probabilistic Management of Risk in Business and Engineering

Lattices and Ordered Sets

Logic and Integer Programming

Argumentation in Artificial Intelligence

Theory of Random Sets

Agent Technology from a Formal Perspective

Mathematical Approaches to Software Quality

Advanced Methods for Inconsistent Knowledge Management

Mathematical Tools for Data Mining

Set Theory, Partial Orders, Combinatorics

A Course in Formal Languages, Automata and Groups

Formal Languages and Compilation

Algorithms in Invariant Theory

Discrete, Continuous, and Hybrid Petri Nets

Fuzzy Modeling with Spatial Information for Geographic Problems

A Theory of Distributed Objects

Asynchrony - Mobility - Groups - Components

Introduction to Modern Number Theory

Fundamental Problems, Ideas and Theories

Laws of Nature

Applications of Membrane Computing

Valued Fields

Fundamentals of Algebraic Graph Transformation

Formal Models of Communicating Systems

Languages, Automata, and Monadic Second-Order Logic

Soft Methods for Integrated Uncertainty Modelling

Function Algebras on Finite Sets

Basic Course on Many-Valued Logic and Clone Theory

Kolmogorov's Heritage in Mathematics

Ernst Zermelo

An Approach to His Life and Work

Formal Correctness of Security Protocols

Fuzzy Information and Engineering

Proceedings of the Second International Conference of Fuzzy Information and Engineering (ICFIE)

Media Theory

Interdisciplinary Applied Mathematics

Analysis and Design of Intelligent Systems Using Soft Computing Techniques

Logics of Specification Languages

Interval / Probabilistic Uncertainty and Non-classical Logics

Fuzzy Portfolio Optimization

Theory and Methods

E-business and Telecommunications

4th International Conference, ICETE 2007, Barcelona, Spain, July 28-31, 2007, Revised Selected Papers

Fundamentals of Cryobiology

Physical Phenomena and Mathematical Models

Pattern Calculus

Computing with Functions and Structures

Handbook of Weighted Automata

Singular Sets of Minimizers for the Mumford-Shah Functional

Logica Universalis

Towards a General Theory of Logic

Selected Topics in Complex Analysis

The S. Ya. Khavinson Memorial Volume

Isomorphisms Between H¹ Spaces

Symbolic-Numeric Computation

Institution-independent Model Theory

Deduction, Computation, Experiment

Exploring the Effectiveness of Proof

Fallacies and Judgments of Reasonableness

Empirical Research Concerning the Pragma-Dialectical Discussion Rules

Computational Intelligence and Feature Selection

Rough and Fuzzy Approaches

The Legacy of Mario Pieri in Geometry and Arithmetic

Set-Theoretic Methods in Control

Set-Valued Analysis

A Modern Perspective on Type Theory

From its Origins until Today

Scenario Logic and Probabilistic Management of Risk in Business and Engineering

Trends in Continuum Mechanics of Porous Media

Visualization, Explanation and Reasoning Styles in Mathematics

Intuition and the Axiomatic Method