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

While many books have been written about Bertrand Russell's philosophy and some on his logic, I. Grattan-Guinness has written the first comprehensi...

From the Calculus to Set Theory traces the development of the calculus from the early seventeenth century through its expansion into mathematical a...

Decision Theory An Introduction to Dynamic Programming and Sequential Decisions John Bather University of Sussex, UK Mathematical induction, and it...

Deduction is an efficient and elegant presentation of classical first-order logic. It presents a truth tree system based on the work of Jeffrey, as...

Decision Theory An Introduction to Dynamic Programming and Sequential Decisions John Bather University of Sussex, UK Mathematical induction, and it...

This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e.,...

Provides an in-depth treatment of the Traveling Salesman problem--the archetypical problem in combinatorial optimization. Each chapter deals with a...

This adaptation of an earlier work by the authors is a graduate text and professional reference on the fundamentals of graph theory. It covers the ...

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

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

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

RC4 Stream Cipher and Its Variants is the first book to fully cover the popular software stream cipher RC4. With extensive expertise in stream ciph...