This Festschrift is published in honor of Rodney G. Downey, eminent logician and computer scientist, surfer and Scottish country dancer, on the occasion of his 60th birthday.The Festschrift contains papers and laudations that showcase the broad and important scientific, leadership and mentoring contributions made by Rod during his distinguished career. The volume contains 42 papers presenting original unpublished research, or expository and survey results in Turing degrees, computa...

For over three decades, this best-selling classic has been used by thousands of students in the United States and abroad as a must-have textbook for a transitional course from calculus to analysis. It has proven to be very useful for mathematics majors who have no previous experience with rigorous proofs. Its friendly style unlocks the mystery of writing proofs, while carefully examining the theoretical basis for calculus. Proofs are given in full, and the large number of well-chosen examp...

Computability Theory: An Introduction to Recursion Theory provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results. The basic concepts and techniques of computability theory are placed in their historical, philosophical and logical context. This presentation is characterized by an unusual breadth of coverage and the inclusion of advanced topics not to be found elsewhere in the literature at this level. The text includes...

The book provides the first full length exploration of fuzzy computability. It describes the notion of fuzziness and present the foundation of computability theory. It then presents the various approaches to fuzzy computability. This text provides a glimpse into the different approaches in this area, which is important for researchers in order to have a clear view of the field. It contains a detailed literature review and the author includes all proofs to make the presentation accessible. ...

Handbook of Analysis and Its Foundations is a self-contained and unified handbook on mathematical analysis and its foundations. Intended as a self-study guide for advanced undergraduates and beginning graduatestudents in mathematics and a reference for more advanced mathematicians, this highly readable book provides broader coverage than competing texts in the area. Handbook of Analysis and Its Foundations provides an introduction to a wide range of topics, including: algebra; topology; no...

An Introduction to Homological Algebra discusses the origins of algebraic topology. It also presents the study of homological algebra as a two-stage affair. First, one must learn the language of Ext and Tor and what it describes. Second, one must be able to compute these things, and often, this involves yet another language: spectral sequences. Homological algebra is an accessible subject to those who wish to learn it, and this book is the author's attempt to make it lovable. This book com...

The aim of this third edition is to give an accessible and essentially self-contained account of pseudo-differential operators based on the previous edition. New chapters notwithstanding, the elementary and detailed style of earlier editions is maintained in order to appeal to the largest possible group of readers. The focus of this book is on the global theory of elliptic pseudo-differential operators on Lp(Rn).The main prerequisite for a complete understanding of the book is a basic cour...

The area of coalgebra has emerged within theoretical computer science with a unifying claim: to be the mathematics of computational dynamics. It combines ideas from the theory of dynamical systems and from the theory of state-based computation. Although still in its infancy, it is an active area of research that generates wide interest. Written by one of the founders of the field, this book acts as the first mature and accessible introduction to coalgebra. It provides clear mathematical ex...

The purpose of this book is to provide a concise yet detailed account of fundamental concepts in modern algebra. The target audience for this book is first-year graduate students in mathematics, though the first two chapters are probably accessible to well-prepared undergraduates. The book covers a broad range of topics in modern algebra and includes chapters on groups, rings, modules, algebraic extension fields, and finite fields. Each chapter begins with an overview which provides a road...

A new look at weak-convergence methods in metric spaces-from a master of probability theory In this new edition, Patrick Billingsley updates his classic work Convergence of Probability Measures to reflect developments of the past thirty years. Widely known for his straightforward approach and reader-friendly style, Dr. Billingsley presents a clear, precise, up-to-date account of probability limit theory in metric spaces. He incorporates many examples and applications that illustrate the po...

This is a short, modern, and motivated introduction to mathematical logic for upper undergraduate and beginning graduate students in mathematics and computer science. Any mathematician who is interested in getting acquainted with logic and would like to learn Gödel’s incompleteness theorems should find this book particularly useful. The treatment is thoroughly mathematical and prepares students to branch out in several areas of mathematics related to foundations and computability, such as ...

The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and basic results while others relate very little of the elementary theory behind them and aim directly toward an exposition of advanced results. Presentations of the latter sort are in some cases restricted to a short su...