Mathematical Logic eTextbooks

What Is Mathematical Logic?

Godel's Theorems and Zermelo's Axioms

A Firm Foundation of Mathematics

Institution-independent Model Theory

Cybersecurity

A Practical Introduction

Philosophical Methodology After Carnap

Philosophy and Religion (R0)

Russell, Godel, Tarski

Selected Papers on the Philosophy of Logic and 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

Simple Type Theory

A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Introduction to Homotopy Type Theory

Computable Structure Theory

A Unified Approach

Combinatorial Set Theory

With a Gentle Introduction to Forcing

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 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

Decision Modeling and Behavior in Complex and Uncertain Environments

Scenario Logic and Probabilistic Management of Risk in Business and Engineering

Logic and Integer Programming

Argumentation in Artificial Intelligence

Agent Technology from a Formal Perspective

Mathematical Approaches to Software Quality

Advanced Methods for Inconsistent Knowledge Management

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

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

Logica Universalis

Towards a General Theory of Logic

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

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

A Logical Approach to Philosophy

Essays in Honour of Graham Solomon

Fuzzy Logic Applications in Engineering Science

Cambridge and Vienna

Frank P. Ramsey and the Vienna Circle

The Arche Papers on the Mathematics of Abstraction

A Roadmap for Formal Property Verification

Perspectives on Mathematical Practices

Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education

Brouwer meets Husserl

On the Phenomenology of Choice Sequences

Diagrammatology

An Investigation on the Borderlines of Phenomenology, Ontology, and Semiotics

Induction, Algorithmic Learning Theory, and Philosophy

Information and Knowledge

A Constructive Type-theoretical Approach

Formal Ontology and Conceptual Realism

Handbook of Philosophical Logic

Volume 14

Robustness and Usability in Modern Design Flows

Analysis and Synthesis of Logics

How to Cut and Paste Reasoning Systems

Constructive Negations and Paraconsistency

Ingredients for Successful System Level Design Methodology

Modalities and Multimodalities