Set Theory eTextbooks

The Random Number Code

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

Simple Type Theory

A Practical Logic for Expressing and Reasoning About Mathematical Ideas

Combinatorial Set Theory

With a Gentle Introduction to Forcing

Fuzzy Multi-Criteria Decision Making

Theory and Applications with Recent Developments

Lattices and Ordered Sets

Theory of Random Sets

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

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

Perceptual Computing

Aiding People in Making Subjective Judgments

Eurofuse 2011

Workshop on Fuzzy Methods for Knowledge-Based Systems

More Sets, Graphs and Numbers

A Salute to Vera Sòs and Andras Hajnal

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

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

Set Theory

An Introduction to Axiomatic Reasoning

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

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

The Incompleteness Phenomenon

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

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

Volume I: Set Theory

Cryptocoding Based on Quasigroups

Computer Science (R0)

Science for Humans

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

Topics in Model Theory

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

University Texts in the Mathematical Sciences

Mathematical Theory of Fuzzy Sets

Godel's Theorem

An Incomplete Guide to Its Use and Abuse

Recent Advances and Applications of Fuzzy Metric Fixed Point Theory

Puzzle and Proof

A Decade of Problems from the Utah Math Olympiad

Parabolic Problems

60 Years of Mathematical Puzzles in Parabola

Combinatory Logic

Pure, Applied and Typed

Problems and Solutions in Mathematical Olympiad

Secondary 1

Measure of Noncompactness, Fixed Point Theorems, and Applications

Intuitive Axiomatic Set Theory

Textbooks in Mathematics

Proof Theory

Sequent Calculi and Related Formalisms

Associahedra, Tamari Lattices and Related Structures

Tamari Memorial Festschrift

Journey into Mathematics

An Introduction to Proofs

Set Theory for the Working Mathematician

Frontiers of Higher Order Fuzzy Sets

Transition to Analysis with Proof

Textbooks in Mathematics

Essentials of Mathematical Thinking

Textbooks in Mathematics

Strange Functions in Real Analysis

Infinity and Truth

Lecture Notes Series, Institute For Mathematical Sciences, National University Of Singapore : Book 25

Notes on Forcing Axioms

Lecture Notes Series, Institute For Mathematical Sciences, National University Of Singapore : Book 26

Forcing for Mathematicians

Basic Language of Mathematics

Proceedings of the 13th Asian Logic Conference

Truth and Assertibility

Forcing, Iterated Ultrapowers, and Turing Degrees

Lecture Notes Series, Institute For Mathematical Sciences, National University Of Singapore : Book 29

The RMB Exchange Rate

Past, Current, and Future

Sets and Computations

Lecture Notes Series, Institute For Mathematical Sciences, National University Of Singapore : Book 33

Classic Set Theory

For Guided Independent Study

Beyond First Order Model Theory, Volume I

A Bridge to Higher Mathematics