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

First-Order Schemata and Inductive Proof Analysis

Computer Science (R0)

Mathematical Tools for Data Mining

Set Theory, Partial Orders, Combinatorics

Fuzzy Modeling with Spatial Information for Geographic Problems

Soft Methods for Integrated Uncertainty Modelling

Fuzzy Information and Engineering

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

Media Theory

Interdisciplinary Applied Mathematics

Singular Sets of Minimizers for the Mumford-Shah Functional

Selected Topics in Complex Analysis

The S. Ya. Khavinson Memorial Volume

Perceptual Computing

Aiding People in Making Subjective Judgments

The Ecology, Exploitation and Conservation of River Turtles

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

Eurofuse 2011

Workshop on Fuzzy Methods for Knowledge-Based Systems

Set-Theoretic Methods in Control

Set-Valued Analysis

A Geometry of Approximation

Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns

Applied Mathematics for Database Professionals

Theory of Random Sets

More Sets, Graphs and Numbers

A Salute to Vera Sòs and Andras Hajnal

Fuzzy Multi-Criteria Decision Making

Theory and Applications with Recent Developments

Lattices and Ordered Sets

The Banach-Tarski Paradox

Encyclopedia of Mathematics and Its Applications

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

Proofs and Fundamentals

A First Course in Abstract Mathematics

Lattice Theory

Foundation

An Introduction to Random Sets

Invariant Descriptive Set Theory

Handbook of Set Theory

Labyrinth of Thought

A History of Set Theory and Its Role in Modern Mathematics

The Art of Proving Binomial Identities

Discrete Mathematics and Its Applications

Neutrices and External Numbers

A Flexible Number System

Optimization Using Evolutionary Algorithms and Metaheuristics

Applications in Engineering

An Introduction to Mathematical Proofs

Textbooks in Mathematics

Introduction to Fuzzy Systems

Chapman & Hall/CRC Applied Mathematics & Nonlinear Science

Roads to Infinity

The Mathematics of Truth and Proof

Goedel's Way

Exploits into an undecidable world

Simple Type Theory

A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Science for Humans

Mind, Life, The Formal- &-Natural Sciences, and A New Concept of Nature

Introduction to Mathematical Logic

Discrete Mathematics and Its Applications

Handbook of Mathematical Induction

Theory and Applications

Introduction to Mathematical Proofs

Textbooks in Mathematics

Descriptive Theory of Sets and Functions. Functional Analysis in Semi-ordered Spaces

Classics of Soviet Mathematics

Naïve Set Theory

A Rigorous Approach

An Introduction to Naïve Set Theory and Its Applications

Mathematics and Statistics (R0)

Mathematical Theory of Fuzzy Sets

Combinatorial Set Theory

With a Gentle Introduction to Forcing

Introduction to Incompleteness

From Godel's Theorems to Forcing and the Continuum Hypothesis

The Notre Dame Lectures

Lecture Notes in Logic, 18

Intensionality

Lecture Notes in Logic 22

CounterExamples

From Elementary Calculus to the Beginnings of Analysis

Model Theory of Fields

Lecture Notes in Logic 5, Second Edition

Logic Colloquium '99

Lecture Notes in Logic 17

Nonstandard Methods and Applications in Mathematics

Lecture Notes in Logic 25

Introductory Concepts for Abstract Mathematics

Polynomial Completeness in Algebraic Systems

Foundations of Translation Planes

Chapman & Hall/CRC Pure and Applied Mathematics

Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman

Lecture Notes in Logic 15

Logic of Arithmetic

Logic Colloquium 2000 (hardcover)

Lecture Notes in Logic, 19

Mathematics

A Minimal Introduction

Reverse Mathematics 2001

Lecture Notes in Logic 21

Logic Colloquium '02

Lecture Notes in Logic 27

Logicism Renewed

Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23

Discrete Mathematics

An Open Introduction

Paraconsistency

The Logical Way to the Inconsistent

Limits of Computation

An Introduction to the Undecidable and the Intractable

Handbook of Finite State Based Models and Applications

Discrete Mathematics and Its Applications

Universal Algebra and Applications in Theoretical Computer Science

A Beginner's Guide to Mathematical Proof

Introduction to Model Theory

Algebra, Logic and Applications

Understanding Mathematical Proof

Application of Fuzzy Logic to Social Choice Theory

The Incompleteness Phenomenon

Set Theory

An Introduction to Axiomatic Reasoning

Set Theory and Foundations of Mathematics: An Introduction to Mathematical Logic

Volume I: Set Theory

Richard Dedekind

What Are and What Should the Numbers Be? Continuity and Irrational Numbers

Godel's Theorem

An Incomplete Guide to Its Use and Abuse

Topics in Model Theory

Cryptocoding Based on Quasigroups

Computer Science (R0)

Combinatory Logic

Pure, Applied and Typed

Problems and Solutions in Mathematical Olympiad

Secondary 1

Intuitive Axiomatic Set Theory

Textbooks in Mathematics

Parabolic Problems

60 Years of Mathematical Puzzles in Parabola

Logic - Language - Ontology

Selected Works

Puzzle and Proof

A Decade of Problems from the Utah Math Olympiad

Taking the "Oof!" Out of Proofs

Textbooks in Mathematics

Measure of Noncompactness, Fixed Point Theorems, and Applications

Proof Theory

Sequent Calculi and Related Formalisms

Associahedra, Tamari Lattices and Related Structures

Tamari Memorial Festschrift

Set Theory for the Working Mathematician

Journey into Mathematics

An Introduction to Proofs

Transition to Analysis with Proof

Textbooks in Mathematics

Frontiers of Higher Order Fuzzy Sets

Exploring the Infinite

An Introduction to Proof and Analysis

Set Theoretical Aspects of Real Analysis

Sets, Functions, and Logic

An Introduction to Abstract Mathematics, Third Edition

Logical Labyrinths