Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic techniques are presented first for propositional logic; Part II contains extensions to predicate logic. This material provides an introduction and a safe background for reading research literature in logic and computer science as well as advanced monographs. Readers are assumed to be familiar with basic notions of first order logic. One device for making this book short was inventing new proofs of several theorems....

Science involves descriptions of the world we live in. It also depends on nature exhibiting what we can best describe as a high aLgorithmic content. The theme running through this collection of papers is that of the interaction between descriptions, in the form of formal theories, and the algorithmic content of what is described, namely of the modeLs of those theories. This appears most explicitly here in a number of valuable, and substantial, contributions to what has until recently been known as 'recursive model theory' - an area in which researchers from the former Soviet Union (in...

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. Lavrov & L. Maksimova is an English translation of the fourth edition of the most popular student problem book in mathematical logic in Russian. It covers major classical topics in proof theory and the semantics of propositional and predicate logic as well as set theory and computation theory. Each chapter begins with 1-2 pages of terminology and definitions that make the book self-contained. Solutions are provided. The book is likely to become an essential part of curricula in logic.

The first six chapters and Appendix 1 of this book appeared in Japanese in a book of the same title 15years aga (Jikkyo, Tokyo, 1980).At the request of some people who do not wish to learn Japanese, I decided to rewrite my old work in English. This time, I added a chapter on the arithmetic of quadratic maps (Chapter 7) and Appendix 2, A Short Survey of Subsequent Research on Congruent Numbers, by M. Kida. Some 20 years ago, while rifling through the pages of Selecta Heinz Hopj (Springer, 1964), I noticed a system of three quadratic forms in four variables with coefficientsin Z that yields the...

In the long run of a dynamical system, after transient phenomena have passed away, what remains is recurrence. An orbit is recurrent when it returns repeatedly to each neighborhood of its initial position. We can sharpen the concept by insisting that the returns occur with at least some prescribed frequency. For example, an orbit lies in some minimal subset if and only if it returns almost periodically to each neighborhood of the initial point. That is, each return time set is a so-called syndetic subset ofT= the positive reals (continuous time system) or T = the positive integers (discrete...

Anyone seeking a gentle introduction to the methods of modern control theory and engineering, written at the level of a first-year graduate course, should consider this book seriously. It contains:

• A generous historical overview of automatic control, from Ancient Greece to the 1970s, when this discipline matured into an essential field for electrical, mechanical, aerospace, chemical, and biomedical engineers, as well as mathematicians, and more recently, computer scientists;
• A balanced presentation of the relevant theory: the main state-space methods for description,...

Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. Lavrov & L. Maksimova is an English translation of the fourth edition of the most popular student problem book in mathematical logic in Russian. It covers major classical topics in proof theory and the semantics of propositional and predicate logic as well as set theory and computation theory. Each chapter begins with 1-2 pages of terminology and definitions that make the book self-contained. Solutions are provided. The book is likely to become an essential part of curricula in logic.

Science involves descriptions of the world we live in. It also depends on nature exhibiting what we can best describe as a high aLgorithmic content. The theme running through this collection of papers is that of the interaction between descriptions, in the form of formal theories, and the algorithmic content of what is described, namely of the modeLs of those theories. This appears most explicitly here in a number of valuable, and substantial, contributions to what has until recently been known as 'recursive model theory' - an area in which researchers from the former Soviet Union (in...

Early one morning in April of 1987, the Chinese mathematician J. -Q. Zhong died unexpectedly of a heart attack in New York. He was then near the end of a one-year visit in the United States. When news of his death reached his Chinese-American friends, it was immediately decided by one and all that something should be done to preserve his memory. The present volume is an outgrowth of this sentiment. His friends in China have also established a Zhong Jia-Qing Memorial Fund, which has since twice awarded the Zhong Jia-Qing prizes for Chinese mathematics graduate students. It is hoped that at...

Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic techniques are presented first for propositional logic; Part II contains extensions to predicate logic. This material provides an introduction and a safe background for reading research literature in logic and computer science as well as advanced monographs. Readers are assumed to be familiar with basic notions of first order logic. One device for making this book short was inventing new proofs of several theorems....