Mathematical Foundation eTextbooks

Tic Tac Test

Beat the Book at Noughts and Crosses

The Random Number Code

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

Metainferences in Substructural Logics

Philosophy and Religion (R0)

Mastering Quantum Mechanics

Physics and Astronomy (R0)

The Logical Foundations of Nonstandard Analysis

With Applications to Economic 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

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

Perceptual Computing

Aiding People in Making Subjective Judgments

Content and Modality

Themes from the Philosophy of Robert Stalnaker

Propositions, Functions, and Analysis

Selected Essays on Russell's Philosophy

Reductive Logic and Proof-search

Proof Theory, Semantics, and Control

From Sets and Types to Topology and Analysis

Towards practicable foundations for constructive mathematics

The Structure of Models of Peano Arithmetic

Mathematical Logic

Elucidating the Tractatus

Wittgenstein's Early Philosophy of Logic and Language

A Philosophical Guide to Conditionals

Identity and Modality

Visual Thinking in Mathematics

An Epistemological Study

Interpolation and Definability

Modal and Intuitionistic Logics

Modality

Metaphysics, Logic, and Epistemology

Worlds and Individuals, Possible and Otherwise

A First Course in Logic

An Introduction to Model Theory, Proof Theory, Computability, and Complexity

Recursion Theory for Metamathematics

Russell's Hidden Substitutional Theory

Causation and Persistence

A Theory of Causation

Logical Reasoning with Diagrams

In the Light of Logic

Solomon Feferaman

Multidimensional Programming

Escaping the Holocaust

Illegal Immigration to the Land of Israel, 1939-1944

The Ecology, Exploitation and Conservation of River Turtles

Handbook of Fourier Analysis & Its Applications

By Parallel Reasoning

The Construction and Evaluation of Analogical Arguments

A Transition to Advanced Mathematics

A Survey Course

The Development of Modern Logic

Computational Complexity and Statistical Physics

The Proof is in the Pudding

The Changing Nature of Mathematical Proof

Highlights in Lie Algebraic Methods

Highlights In Lie Algebraic Methods

The Selected Correspondence of L.E.J. Brouwer

Selected Correspondence of L. E. J. Brouwer

Vitushkin's Conjecture for Removable Sets

Vitushkin's Conjecture for Removable Sets

Combinatorial Set Theory

With a Gentle Introduction to Forcing

The Structure of the Real Line

Structure of the Real Line

Schema Matching and Mapping

Data-Centric Systems and Applications

Working with Preferences

Less Is More

Soft Computing in Economics and Finance

Conditionals and Modularity in General Logics

Cognitive Technologies

Grammars for Language and Genes

Theoretical and Empirical Investigations

Apartness and Uniformity

A Constructive Development

Eurofuse 2011

Workshop on Fuzzy Methods for Knowledge-Based Systems

Giuseppe Peano between Mathematics and Logic

Proceeding of the International Conference in honour of Giuseppe Peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico Torino (Italy) October 2-3, 2008

Aristotle's Modal Proofs

Prior Analytics A8-22 in Predicate Logic

Methods of Cut-Elimination

Methods of Cut-Elimination

Advanced Łukasiewicz calculus and MV-algebras

Advanced ?Ukasiewicz Calculus and Mv-Algebras

Interpreted Languages and Compositionality

Interpreted Languages and Compositionality

Treatise on Intuitionistic Type Theory

The Legacy of Mario Pieri in Geometry and Arithmetic

Set-Theoretic Methods in Control

Set-Valued Analysis