loading...

Cross-Level Inference

Non-Well-Founded Sets

Lectures on Exceptional Lie Groups

Lectures on Lie Groups

Stable Homotopy and Generalised Homology

Inversions

Reasoning with the Infinite

Self-Reference

The Decomposition of Figures Into Smaller Parts

Exterior Differential Systems and Euler-Lagrange Partial Differential Equations

A Condensed Course of Quantum Mechanics

Harmonic Analysis and Partial Differential Equations

Navier-Stokes Equations

New Studies in Weak Arithmetics

Studies in Weak Arithmetics

Topics in Geometric Group Theory

Basic Model Theory

Geometry of Nonpositively Curved Manifolds

The Best of All Possible Worlds

The Broken Dice, and Other Mathematical Tales of Chance

Infinite-Dimensional Optimization and Convexity

Mathematics and the Unexpected

Geometry, Rigidity, and Group Actions

The Theory of Linear Economic Models

Mathematical Physics

Commutative Semigroup Rings

Logics of Time and Computation

Mathematics of Modality

From Science to Computational Sciences

The Measure of the World

Mathematical Reasoning with Diagrams

Learnable Classes of Categorial Grammars

Fields and Rings

Lie Algebras and Locally Compact Groups

Fuchsian Groups

The Significance of Word Lists

N-distances and Their Applications

Algorithmes

Selected Papers on Analysis of Algorithms

Selected Papers on Design of Algorithms

Selected Papers on Discrete Mathematics

Constitutions of Matter

Torsion-Free Modules

A Concise Course in Algebraic Topology

More Concise Algebraic Topology

Simplicial Objects in Algebraic Topology

Euclid and His Twentieth Century Rivals

Efficient Processing with Constraint-Logic Grammars Using Grammar

Ratner's Theorems on Unipotent Flows

When Physics Became King

Several Complex Variables

Groups of Circle Diffeomorphisms

After Euclid

Mathematics and Humor

Conversion Factors

Dimension Theory in Dynamical Systems

Modal Logic and Process Algebra

Fuzzy-Set Social Science

Lectures on Buildings

Emblems of Mind

Time Warps, String Edits, and Macromolecules

Unstable Modules over the Steenrod Algebra and Sullivan's Fixed Point Set Conjecture

Robert Recorde

Systems of Linear Inequalities

The Nature of Scientific Evidence

The Calculus

Lectures on Linear Logic

Foundations of Real World Intelligence

Normalization, Cut-Elimination, and the Theory of Proofs

Exploring Logical Dynamics

Criteria for Divisibility

The Topological Classification of Stratified Spaces

Geometrical Vectors

Geometry and Meaning

Wittgenstein's Lectures on the Foundations of Mathematics, Cambridge, 1939

Advances in Modal Logic, Volume 2

Essential Results of Functional Analysis

Non-Well-Founded Sets

Lectures on Exceptional Lie Groups

Lectures on Lie Groups

Stable Homotopy and Generalised Homology

Inversions

Reasoning with the Infinite

Self-Reference

The Decomposition of Figures Into Smaller Parts

Exterior Differential Systems and Euler-Lagrange Partial Differential Equations

A Condensed Course of Quantum Mechanics

Harmonic Analysis and Partial Differential Equations

Navier-Stokes Equations

New Studies in Weak Arithmetics

Studies in Weak Arithmetics

Topics in Geometric Group Theory

Basic Model Theory

Geometry of Nonpositively Curved Manifolds

The Best of All Possible Worlds

The Broken Dice, and Other Mathematical Tales of Chance

Infinite-Dimensional Optimization and Convexity

Mathematics and the Unexpected

Geometry, Rigidity, and Group Actions

The Theory of Linear Economic Models

Mathematical Physics

Commutative Semigroup Rings

Logics of Time and Computation

Mathematics of Modality

From Science to Computational Sciences

The Measure of the World

Mathematical Reasoning with Diagrams

Learnable Classes of Categorial Grammars

Fields and Rings

Lie Algebras and Locally Compact Groups

Fuchsian Groups

The Significance of Word Lists

N-distances and Their Applications

Algorithmes

Selected Papers on Analysis of Algorithms

Selected Papers on Design of Algorithms

Selected Papers on Discrete Mathematics

Constitutions of Matter

Torsion-Free Modules

A Concise Course in Algebraic Topology

More Concise Algebraic Topology

Simplicial Objects in Algebraic Topology

Euclid and His Twentieth Century Rivals

Efficient Processing with Constraint-Logic Grammars Using Grammar

Ratner's Theorems on Unipotent Flows

When Physics Became King

Several Complex Variables

Groups of Circle Diffeomorphisms

After Euclid

Mathematics and Humor

Conversion Factors

Dimension Theory in Dynamical Systems

Modal Logic and Process Algebra

Fuzzy-Set Social Science

Lectures on Buildings

Emblems of Mind

Time Warps, String Edits, and Macromolecules

Unstable Modules over the Steenrod Algebra and Sullivan's Fixed Point Set Conjecture

Robert Recorde

Systems of Linear Inequalities

The Nature of Scientific Evidence

The Calculus

Lectures on Linear Logic

Foundations of Real World Intelligence

Normalization, Cut-Elimination, and the Theory of Proofs

Exploring Logical Dynamics

Criteria for Divisibility

The Topological Classification of Stratified Spaces

Geometrical Vectors

Geometry and Meaning

Wittgenstein's Lectures on the Foundations of Mathematics, Cambridge, 1939

Advances in Modal Logic, Volume 2

Essential Results of Functional Analysis