Mathematical Foundations

This volume, first published in 2000, presents a classical approach to the foundations and development of the geometry of vector fields, describing...

Mathematical Meditations identifies, explores, and celebrates those aspects of mathematics that are good for you and your overall wellbeing. It is ...

This book is not a conventional history of mathematics as such, a museum of documents and scientific curiosities. Instead, it identifies this vital...

Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. In particular, it is a major element in theoretica...

Mathematical Meditations identifies, explores, and celebrates those aspects of mathematics that are good for you and your overall wellbeing. It is ...

Data structures and tools from computational geometry help to solve problems in computer graphics; these methods have been widely adopted by the co...

This comprehensive text demonstrates how various notions of logic can be viewed as notions of universal algebra. It is aimed primarily for logistic...

Fuzzy social choice theory is useful for modeling the uncertainty and imprecision prevalent in social life yet it has been scarcely applied and stu...

Putting the G into CAGD, the authors provide a much-needed practical and basic introduction to computer-aided geometric design. This book will help...

Wearing Gauss’s Jersey focuses on "Gauss problems," problems that can be very tedious and time consuming when tackled in a traditional, straightfor...

For propositional logic it can be decided whether a formula has a deduction from a finite set of other formulas. This volume begins with a method t...

Fuzzy differential functions are applicable to real-world problems in engineering, computer science, and social science. That relevance makes for r...

These volumes present a practical introduction to computing spline functions, the fundamental tools for fitting curves and surfaces in computer-aid...

Logic Works is a critical and extensive introduction to logic. It asks questions about why systems of logic are as they are, how they relate to ord...

Proofs 101: An Introduction to Formal Mathematics serves as an introduction to proofs for mathematics majors who have completed the calculus sequen...

Regression Analysis and Its Application: A Data-Oriented Approach answers the need for researchers and students who would like a better understandi...

A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '99 includes surveys ...

Examines partitions and covers of graphs and digraphs, latin squares, pairwise balanced designs with prescribed block sizes, ranks and permanents, ...

This book includes articles on denotational semanitcs, recursion theoretic aspects of computer science, model theory and algebra, automath and auto...

An accessible explanation of Kurt Gödel's groundbreaking work in mathematical logic In 1931 Kurt Gödel published his fundamental paper, "On Formall...

This book is concerned with tangent cones, duality formulas, a generalized concept of conjugation, and the notion of maxi-minimizing sequence for a...

A textbook for either a semester or year course for graduate students of mathematics who have had at least one course in topology. Introduces conti...

Thoroughly revised, updated, expanded, and reorganized to serve as a primary text for mathematics courses, Introduction to Set Theory, Third Editio...

Computing in Nonlinear Media and Automata Collectives presents an account of new ways to design massively parallel computing devices in advanced ma...