You are here: Home / Shop / Product Detail Page |

## Mathematical Logic (Softcover)"This classic text is as fresh and useful today as when first published. Noted for the economy of its presentation, it includes a wealth of basic and key results from all parts of mathematical logic." — Solomon Feferman, Stanford University ## $25.95 |

### Need More Info?

Please contact us if you've got questions about this product.## Condition

**GOOD:** The softcover book shows some signs of use in its slightly bent corners. The spine is tight and the pages are free of writing. The book was printed on acid-free paper.

## Description

From the back cover: “This classic introduction to the main ares of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that mathematical logic is not a collection of vaguely related results, but a coherent method of attacking some of the most interesting problems which face the mathematician. The author presents the basic concepts in an unusually clear and accessible fashion. He concentrates on what he views as the central topics of mathematical logic: proof theory, model theory, recursion theory, axiomatic number theory, and set theory. There are many exercises, and they provide the outline of what amounts to a second book that goes into all topics in more depth. This book has played a role in the education of many mature and accomplished researchers.”

**BRIEF CONTENTS**

- Chapter 1. The Nature of Mathematical Logic
- Chapter 2. First-Order Theories
- Chapter 3. Theorems in First-Order Theories
- Chapter 4. The Characterization Problem
- Chapter 5. The Theory of Models
- Chapter 6. Incompleteness and Undecidability
- Chapter 7. Recursion Theory
- Chapter 8. The Natural Numbers
- Chapter 9. Set Theory
- Appendix. The Word Problem
- Index

## Details

- SKU:
- 1851
- Subject:
- Logic
- Author:
- Shoenfield, Joseph R.
- Publisher:
- Association for Symbolic Logic (A K Peters, Ltd.)
- Publish Date:
- 2000 (Reprint: First Printing)
- Format:
- Softcover
- Weight (pounds):
- 1.2
- Dimensions (W”xL”xH”):
- 6.6″x9.3″x0.75″
- ISBN-13:
- 9781568811352
- ISBN-10:
- 1568811357
- Grade Level:
- Graduate

## Related Products

### Products related to "Mathematical Logic (Softcover)"

- Views:

#### The Lambda Calculus: Its Syntax and Semantics, Revised Edition (Softcover)

$24.99

"Around 1930 the type free lambda calculus was introduced as a foundation for logic and mathematics. Due to the appearance of paradoxes, this aim was not fulfilled, however. Nevertheless a consistent part of the theory turned out to be quite successful as a theory of computations. It gave an imporatnt momentum to early recusion theory and more recently to computer science." — From the back cover

#### Dolciani Mathematical Expositions No. 21: Logic as Algebra (Softcover)

$19.79

"This book is an introduction to modern logic, but it is quite different from other introductory books on the subject." — From the back cover

#### Texts and Monographs in Computer Science: A Logical Approach to Discrete Math (Hardback)

$5.99

"Logic is the glue that binds together arguments and proofs in all domains. This text aims to teach the use of this fundamental and pervasive tool and exercise it thoroughly in applications that arise in computer science and mathematics." — From the back cover

#### Introduction to Logic and the Methodology of Deductive Sciences (Softcover)

$3.75

This book is a textbook for elementary college courses in logic and the methodology of deductive science. It is from a revised second edition of a classical work that was first published in Polish in 1936.

#### Analytical Mechanics: A Comprehensive Treatise on the Dynamics of Constrained Systems; For Engineers, Physicists, and Mathematicians (Hardback)

$279.95

From the Preface: “This book is a classical and detailed introduction to advanced analytical mechanics (AM), with special emphasis on its basic principles and equations of motion, as they apply to the most general constrained mechanical systems with a finite number of degrees of freedom..."

#### The Traveling Salesman Problem: A Guided Tour of Combinatorial Optimization (Hardcover)

$169.95

"Provides an in-depth treatment of the Traveling Salesman problem—the archetypical problem in combinatorial optimization. Each chapter deals with a different aspect of the problem, and has been written by an acknowledged expert in the field. Focusses on the essential ideas in a self-contained manner. Includes exercises and an extensive bibliography."—from the publisher

#### History of Algebraic Geometry: An Outline of the History and Development of Algebraic Geometry (Hardback)

$136.99

"Algebraic geometry is undoubtedly the area of mathematics where the deviation is greatest between the intuitive ideas forming its starting point and the abstract and complex concepts at the foundation of modern research. The purpose of this work is to help the willing reader abridge the gap." — From the Foreword (page VII)

#### Encyclopedia of Mathematics and Its Applications 20: Finite Fields (Hardback)

$123.50

"In this book, which is the first one devoted entirely to finite fields, we have aimed at presenting both the classical and the applications-oriented aspect of the subject. Thus, in addition to what has to be considered the essential core of the theory, the reader will find results and techniques that are of importance mainly because of their use in applications." — From the Authors in the Preface

#### Positive Harmonic Functions and Diffusion: An Integrated Analytic and Probabilistic Approach (Hardback)

$119.95

"In this book, Professor Pinsky gives a self-contained account of the theory of positive harmonic functions for second order elliptic operators, using an integrated probabilistic and analytic approach." — From the back cover

#### Introduction to Analysis of the Infinite, Book I (Hardback)

$89.95

"...I have divided this work into two books; in the first of these I have confined myself to those matters concerning pure analysis. In the second book I have explained those things which must be known from geometry, since analysis is ordinarily developed in such a way that its application to geometry is shown. ... [I]n the first book, since all of analysis is concerned with variable quantities and functions of such variables, I have given full treatment to functions. I have also treated the transformation of functions and functions as the sum of infinite series. In addition I have developed functions in infinite series..." — From the Preface by the Author, Leonhard Euler

#### Discrete Mathematics and Its Applications: Handbook of Computational Group Theory (Hardback)

$79.99

"The origins of computational group theory (CGT) date back to the late 19th and early 20th centuries. Since then, the field has flourished, particularly during the past 30 to 40 years, and today it remains a lively and active branch of mathematics." — From the back cover

#### Emergence of the Theory of Lie Groups: An Essay in the History of Mathematics 1869-1926 (Hardback)

$79.95

"Written by the recipient of the 1997 MAA Chauvenet Prize for mathematical exposition, this book tells how the theory of Lie groups emerged from a fascinating cross-fertilization of many strains of nineteenth and twentieth century geometry, analysis, mathematical physics, algebra, and topology. The reader will meet a host of mathematicians from the period and become acquainted with the major mathematical schools." — From the back cover

#### Studies in Advanced Mathematics: Harmonic Analysis and Applications (Hardback)

$79.95

"Harmonic analysis plays an essential role in understanding a host of engineering, mathematical, and scientific ideas. In

*Harmonic Analysis and Applications*, the analysis and synthesis of functions in terms of harmonics is presented in such a way as to demonstrate the vitality, power, elegance, usefulness, and the intricacy and simplicity of the subject." — From the back cover#### Encyclopedia of Mathematics and Its Applications 20: Finite Fields (Softcover)

$73.95

"In this book, which is the first one devoted entirely to finite fields, we have aimed at presenting both the classical and the applications-oriented aspect of the subject. Thus, in addition to what has to be considered the essential core of the theory, the reader will find results and techniques that are of importance mainly because of their use in applications." — From the Authors in the Preface

#### Iterative Methods for Sparse Linear Systems, Second Edition (Softcover)

$73.95

"This book can be used to teach graduate-level courses on iterative methods for linear systems. Engineers and mathematicians will find its contents easily accessible, and practitioners and educators will value it as a helpful resource. The preface includes syllabi that can be used for either a semester- or quarter-length course in both mathematics and computer science." — From the back cover

#### Discrete Mathematics and Its Applications: A Combinatorial Approach to Matrix Theory and Its Applications (Hardback)

$73.75

"Unlike most elementary books on matrices,

**A Combinatorial Approach to Matrix Theory and Its Applications**employs combinatorial and graph-theoretical tools to develop basic theorems of matrix theory, shedding new light on the subject by exploring the connections of these tools to matrices." — From the back cover#### Numerical Solution of Stochastic Differential Equations (Hardback)

$71.49

"The book provides an introduction to stochastic calculus and stochastic differential equations, in both theory and applications, emphasising the numerical methods needed to solve such equations." — From the back cover

#### The Art of Probability for Scientists and Engineers (Softcover)

$63.95

"The fact that probability theory is increasingly being used to make important decisions is a further incentive for examining the theory carefully. I have witnessed very important decisions being made that were based on probability, and as a citizen I have to endure the consequences of similar decisions made in Washington, D.C., and elsewhere; hence, I feel that anything that can clarify and improve the quality of the application of probability theory will be of great benefit to our society." — Richard W. Hamming, U.S. Naval Postgraduate School and Author

#### Analytic Combinatorics (Hardback)

$59.29

"The book can be used as a reference for researchers, as a textbook for an advanced undergraduate or a graduate course on the subject, or for self-study." — From the back cover

#### Graduate Texts in Mathematics: Introduction to Cyclotomic Fields, Second Edition (Hardback)

$57.95

"

*Introduction to Cyclotomic Fields*is a carefully written exposition of a central area of number theory that can be used as a second course in algebraic number theory." — From the back cover