Can I read STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 90 HANDBOOK OF MATHEMATICAL LOGIC on EtoBox?

STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 90 HANDBOOK OF MATHEMATICAL LOGIC by cedited by Jon Barwise, with the cooperation of H. J. Keisler ... [et al].,North-Holland Pub. Co. is a philosophy book available to read on EtoBox.

What is STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 90 HANDBOOK OF MATHEMATICAL LOGIC about?

HANDBOOK OF MATHEMATICAL LOGIC by Jon Barwise [Hardcover] 1165 pages 072042285x The Handbook of Mathematical Logic is an attempt to share with the entire mathematical community some modern developments in logic. We have selected from the wealth of topics available some of those which deal with the basic concerns of the subject, or are particularly important for applications to other parts of mathematics, or both. Mathematical logic is traditionally divided into four model theory, set theory, recursion theory and proof theory. We have followed this division, for lack of a better one, in arranging this book. It made the placement of chapters where there is interaction of several parts of logic a difficult matter, so the division should be taken with a grain of salt. Each of the four parts begins with a short guide to the chapters that follow. The first chapter or two in each part are introductory in scope. More advanced chapters follow, as do chapters on applied or applicable parts of mathematical logic. Each chapter is definitely written for someone who is not a specialist in the field in question. On the other hand, each chapter has its own intended audience which varies from chapt

Who reads STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 90 HANDBOOK OF MATHEMATICAL LOGIC?

Author

cedited by Jon Barwise, with the cooperation of H. J. Keisler ... [et al].,North-Holland Pub. Co.

Publisher

North-Holland Pub. Co.; Elsevier Science

Published

1977

Language

EN

ISBN

9781575863740

Category

philosophy

Subjects

Mathematics, Reference, Science