A History of Abstract Algebra
This presentation provides an account of the intellectual lineage behind many of the basic concepts, results, and theories of abstract algebra.The development of abstract algebra was propelled by the need for new tools to address certain classical problems that appeared unsolvable by classical means. A major theme of the approach in this book is to show how abstract algebra has arisen in attempts to solve some of these classical problems, providing context from which the reader may gain a deeper appreciation of the mathematics involved.
A Geometric Approach to Differential Forms
The modern subject of differential forms subsumes classical vector calculus. This text presents differential forms from a geometric perspective accessible at the undergraduate level. The book begins with basic concepts such as partial differentiation and multiple integration and gently develops the entire machinery of differential forms. Each new concept is presented with a natural picture that students can easily grasp. Algebraic properties then follow. This facilitates the development of differential forms without assuming a background in linear algebra. Throughout the text, emphasis is placed on applications in 3 dimensions, but all definitions are given so as to be easily generalized to higher dimensions. A centerpiece of the text is the generalized Stokes' theorem. Although this theorem implies all of the classical integral theorems of vector calculus, it is far easier for students to both comprehend and remember.
A Course on Mathematical Logic
This is a short, distinctive, modern, and motivated introduction to mathematical logic for senior undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in knowing what logic is concerned with and who would like to learn Gödel’s incompleteness theorems should find this book particularly convenient. The treatment is thoroughly mathematical, and the entire subject has been approached like a branch of mathematics. Serious efforts have been made to make the book suitable for the classroom as well as for self-reading. The book does not strive to be a comprehensive encyclopedia of logic. Still, it gives essentially all the basic concepts and results in mathematical logic. The book prepares students to branch out in several areas of mathematics related to foundations and computability such as logic, axiomatic set theory, model theory, recursion theory, and computability.


