Set theory

A rigorous introduction to real analysis for undergraduates.

Nonstandard analysis is one of the great achievements of modern mathematical logic.

This book presents the theory of proper forcing and its relatives from the beginning.

This 2001 book will appeal to mathematicians and philosophers interested in the foundations of mathematics.

This monograph discusses the theoretical and practical development of multicriteria decision making (MCDM).

Irrationality and Transcendence in Number Theory tells the story of irrational numbers from their discovery in the days of Pythagoras to the ideas behind the work of Baker and Mahler on transcendence in the 20th century.

Set theory can be rigorously and profitably studied through an intuitive approach, thus independently of formal logic.

Over the past 20 years, the emergence of clone theory, hyperequational theory, commutator theory and tame congruence theory has led to a growth of universal algebra both in richness and in applications, especially in computer science.

Applicable to any problem that requires a finite number of solutions, finite state-based models (also called finite state machines or finite state automata) have found wide use in various areas of computer science and engineering.

This compilation of papers presented at the 2000 European Summer Meeting of the Association for Symbolic Logic marks the centenial anniversery of Hilbert's famous lecture.

Kurt Godel (1906-1978) was an Austrian-American mathematician, who is best known for his incompleteness theorems.

Introduction to Mathematical Proofs helps students develop the necessary skills to write clear, correct, and concise proofs.

Many of the modern variational problems in topology arise in different but overlapping fields of scientific study: mechanics, physics and mathematics.

Starting with the most basic notions, Universal Algebra: Fundamentals and Selected Topics introduces all the key elements needed to read and understand current research in this field.

Studies in Logic and the Foundations of Mathematics, Volume 102: Set Theory: An Introduction to Independence Proofs offers an introduction to relative consistency proofs in axiomatic set theory, including combinatorics, sets, trees, and forcing.

An exploration of the construction and analysis of translation planes to spreads, partial spreads, co-ordinate structures, automorphisms, autotopisms, and collineation groups.

Lays the foundations for a new area of descriptive set theory: the connection between forcing and analytic equivalence relations.

Monograph exploring the connections that forcing makes with descriptive set theory and other areas of mathematics.

This volume contains the proceedings of the European Summer Meeting of the Association for Symbolic Logic, held in Utrecht, The Netherlands in 1999.

An innovative and largely self-contained textbook bringing model theory to an undergraduate audience.

This volume presents the proceedings of two major international meetings on mathematical logic held in Münster, Germany, in August 2002.

Ancient times witnessed the origins of the theory of continued fractions.

Incompleteness is a fascinating phenomenon at the intersection of mathematical foundations, computer science, and epistemology that places a limit on what is provable.

Accessible to all students with a sound background in high school mathematics, A Concise Introduction to Pure Mathematics, Fourth Edition presents some of the most fundamental and beautiful ideas in pure mathematics.

This unique and contemporary text not only offers an introduction to proofs with a view towards algebra and analysis, a standard fare for a transition course, but also presents practical skills for upper-level mathematics coursework and exposes undergraduate students to the context and culture of contemporary mathematics.

Algebra & Geometry: An Introduction to University Mathematics, Second Edition provides a bridge between high school and undergraduate mathematics courses on algebra and geometry.

Gaps and limits are two phenomena occuring in the Boolean algebra P(&ohgr;)/fin.

In fall 2000, the Notre Dame logic community hosted Greg Hjorth, Rodney G.

The study of random sets is a large and rapidly growing area with connections to many areas of mathematics and applications in widely varying disciplines, from economics and decision theory to biostatistics and image analysis.

This volume contains research papers in mathematical logic, particularly in model theory and its applications to algebra and formal theories of arithmetic.

Combinatory logic is a versatile field that is connected to philosophical, mathematical, and computational logic.

REA's Essentials provide quick and easy access to critical information in a variety of different fields, ranging from the most basic to the most advanced.

La idea de que el desarrollo del conocimiento científico implica un proceso de cambio o transformación más o menos radical ha imperado desde el último tercio del siglo pasado surgiendo de manera interrelacionada desde tres grandes campos de análisis del conocimiento: el psicológico, el epistemológico y el educativo.

Contemporary students of mathematics differ considerably from those of half a century ago.

Contemporary students of mathematics differ considerably from those of half a century ago.

Irreducible Tensorial Sets discusses mathematical methods originating from the theory of coupling and recoupling of angular momenta in atomic physics that constitute an extension of vector and tensor algebra.

Este libro es una introducción a la teoría de números, también conocida como "aritmética superior": comienza con una discusión sobre la noción de divisibilidad y aborda las propiedades elementales de las congruencias; estudia la existencia de raíces y las congruencias cuadráticas, para concluir con el estudio de algunas ecuaciones diofantinas de grado 2 y 3, además de la llamada ecuación de Pell.