In addition to covering the essentials, the author’s intention in writing this text is to entice the reader to further study mathematical logic. There is no current “standard text” for a first graduate course in mathematical logic and this book will fill that gap. While there is more material than could be covered in a traditional one semester course, an instructor can cover the basics and still have the flexibility to choose several weeks’ worth of interesting advanced topics that have be...

The model theory of fields is a fascinating subject stretching from Tarski's work on the decidability of the theories of the real and complex fields to Hrushovksi's recent proof of the Mordell-Lang conjecture for function fields. This volume provides an insightful introduction to this active area, concentrating on connections to stability theory.

Infinitary logic, the logic of languages with infinitely long conjunctions, plays an important role in model theory, recursion theory and descriptive set theory. This book is the first modern introduction to the subject in forty years, and will bring students and researchers in all areas of mathematical logic up to the threshold of modern research. The classical topics of back-and-forth systems, model existence techniques, indiscernibles and end extensions are covered before more modern to...

This lively introductory text exposes the student to the rewards of a rigorous study of functions of a real variable. In each chapter, informal discussions of questions that give analysis its inherent fascination are followed by precise, but not overly formal, developments of the techniques needed to make sense of them. By focusing on the unifying themes of approximation and the resolution of paradoxes that arise in the transition from the finite to the infinite, the text turns what could ...

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

Generative Grammar presents a substantial contribution to the field of linguistics in drawing together for the first time the author's most significant work on the theory of generative grammar.The essays collected here display Freidin's role in moving the theory forward in terms of new proposals, and analyse the efforts to understand the evolution and history of the theory by careful investigation of how and why it has changed over the years.

Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation.Proofs and Algorithms: Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary logic - those of a proof, a computable function, a model and a set. It presents a series of results, both positive and negative, - Church's undecidability theorem, Gödel’s inco...

This book offers a first course in analysis for scientists and engineers. It can be used at the advanced undergraduate level or as part of the curriculum in a graduate program. The book is built around metric spaces. In the first three chapters, the authors lay the foundational material and cover the all-important “four-C’s”: convergence, completeness, compactness, and continuity. In subsequent chapters, the basic tools of analysis are used to give brief introductions to differential and i...

Understanding Analysis outlines an elementary, one-semester course designed to expose students to the rich rewards inherent in taking a mathematically rigorous approach to the study of functions of a real variable. The aim of a course in real analysis should be to challenge and improve mathematical intuition rather than to verify it. The philosophy of this book is to focus attention on the questions that give analysis its inherent fascination. Does the Cantor set contain any irrat...

This valuable book focuses on a collection of powerful methods of analysis that yield deep number-theoretical estimates. Particular attention is given to counting functions of prime numbers and multiplicative arithmetic functions. Both real variable (”elementary”) and complex variable (”analytic”) methods are employed. The reader is assumed to have knowledge of elementary number theory (abstract algebra will also do) and real and complex analysis. Specialized analytic techniques, including...

The purpose of this little book is to give the reader a convenient introduction to the theory of numbers, one of the most extensive and most elegant disciplines in the whole body of mathematics. The arrangement of the material is as follows:The first five chapters are devoted to the development of those elements which are essential to any study of the subject. The sixth and last chapter is intended to give the reader some indication of the direction of further study with a brief ac...

This book is written for undergraduates who wish to learn some basic results in analytic number theory. It covers topics such as Bertrand's Postulate, the Prime Number Theorem and Dirichlet's Theorem of primes in arithmetic progression.The materials in this book are based on A Hildebrand's 1991 lectures delivered at the University of Illinois at Urbana-Champaign and the author's course conducted at the National University of Singapore from 2001 to 2008.