Mathematical foundations

The basics of category theory beautifully explained with a wealth of exercises.

After functional, measure and stochastic analysis prerequisites, the author covers chaos decomposition, Skorohod integral processes, Malliavin derivative and Girsanov transformations.

Concise introduction to current topics in model theory, including simple and stable theories.

The most seminal collection of papers of descriptive set theory reprinted and put into the modern research context.

This major graduate-level text provides a detailed, self-contained coverage of proof theory.

The basics of category theory beautifully explained with a wealth of exercises.

A comprehensive treatment of two fundamental concepts in computer science, mathematics and other fields.

Seven articles survey the state of the art.

An overview of different theories of motivic integration and their applications.

Presents a new way of applying the methods of proof theory to axiomatic theories and systems of philosophical logic.

A collection of remarkable papers from various areas of mathematical logic, written by outstanding members of the field.

An overview of different theories of motivic integration and their applications.

Methods and results from the theory of Zariski structures, and their applications in geometry.

Surveys of current research in logical aspects of computer science that apply finite and infinite model-theoretic methods.

A model-theoretic approach to bounded arithmetic and propositional proof complexity.

Comprehensive and up-to-date coverage of topological graph theory.

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

Develops new semantical characterisations of many logical systems with quantification that are incomplete under the traditional Kripkean possible worlds interpretation.

This fresh approach to set theory covers the theoretical fundamentals as well as outline connections with other parts of mathematics.

This book is a self-contained, up-to-date introduction to simple theories and the model theory of hyperimaginaries.

A dozen world-renowned researchers explore the concept of infinity through the prism of mathematics and beyond.

Previously unpublished archival material helps us reassess this famous, but seldom studied, classic that prompted modern logic and computers.

Top researchers in the mathematical foundations of physics explore how innovation can foster deeper insight into the physical world''s structure.

A systematic introduction suitable for readers who have little familiarity with logic.

This volume commemorates the life, work and foundational views of Kurt Gödel by exploring the impact of his work and its future implications.

A concise, practical guide in statistical methods for experimental data handling; ideal for course use and a handy reference for researchers.

This volume commemorates the life, work and foundational views of Kurt Gödel by exploring the impact of his work and its future implications.

This introductory text clearly presents three important games in logic, from the basics to the cutting edge.

Provides the first comprehensive, unified presentation of the structural, algorithmic and applied aspects of the theory of Boolean functions.

Essentials of Mathematical Thinking addresses the growing need to better comprehend mathematics today.

This systematic and historical treatment of Russell's contributions to analytic philosophy, from his embrace of analysis in 1898 to his landmark theory of descriptions in 1905, draws important connections between his philosophically motivated conception of analysis and the technical apparatus he devised to facilitate analyses in mathematics

As students of mathematics or its applications progress, courses focus increasingly on mathematical theories and applications themselves, and less on how to study these complex ideas.

First published in 1982, this reissue contains a critical exposition of the views of Frege, Dedekind and Peano on the foundations of arithmetic.

First published in 1982, this reissue contains a critical exposition of the views of Frege, Dedekind and Peano on the foundations of arithmetic.

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

This book aims to introduce readers without a strong mathematical background to the basic ideas of fuzzy set theory and logic.

Absolutely everything you need to get ready for Algebra Scared of square roots?

An engaging and accessible introduction to mathematical proof incorporating ideas from real analysis A mathematical proof is an inferential argument for a mathematical statement.

An engaging and accessible introduction to mathematical proof incorporating ideas from real analysis A mathematical proof is an inferential argument for a mathematical statement.

Provides a unique and methodologically consistent treatment of various areas of fuzzy modeling and includes the results of mathematical fuzzy logic and linguistics This book is the result of almost thirty years of research on fuzzy modeling.

Provides a unique and methodologically consistent treatment of various areas of fuzzy modeling and includes the results of mathematical fuzzy logic and linguistics This book is the result of almost thirty years of research on fuzzy modeling.

An enlightening introduction to the study of logic: its history, philosophical foundations, and formal structures Logic: Inquiry, Argument, and Order is the first book of its kind to frame the study of introductory logic in terms of problems connected to wider issues of knowledge and judgment that arise in the context of racial, cultural, and religious diversity.

An enlightening introduction to the study of logic: its history, philosophical foundations, and formal structures Logic: Inquiry, Argument, and Order is the first book of its kind to frame the study of introductory logic in terms of problems connected to wider issues of knowledge and judgment that arise in the context of racial, cultural, and religious diversity.

Features step-by-step examples based on actual data and connects fundamental mathematical modeling skills and decision making concepts to everyday applicability Featuring key linear programming, matrix, and probability concepts, Finite Mathematics: Models and Applications emphasizes cross-disciplinary applications that relate mathematics to everyday life.

Features step-by-step examples based on actual data and connects fundamental mathematical modeling skills and decision making concepts to everyday applicability Featuring key linear programming, matrix, and probability concepts, Finite Mathematics: Models and Applications emphasizes cross-disciplinary applications that relate mathematics to everyday life.

Solutions manual to accompany Logic and Discrete Mathematics: A Concise Introduction This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade.

Solutions manual to accompany Logic and Discrete Mathematics: A Concise Introduction This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade.

A concise yet rigorous introduction to logic and discrete mathematics.

The definitive guide to queueing theory and its practical applications features numerous real-world examples of scientific, engineering, and business applications Thoroughly updated and expanded to reflect the latest developments in the field, Fundamentals of Queueing Theory, Fifth Edition presents the statistical principles and processes involved in the analysis of the probabilistic nature of queues.

The definitive guide to queueing theory and its practical applications features numerous real-world examples of scientific, engineering, and business applications Thoroughly updated and expanded to reflect the latest developments in the field, Fundamentals of Queueing Theory, Fifth Edition presents the statistical principles and processes involved in the analysis of the probabilistic nature of queues.