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

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

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

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

$59.75

"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

#### 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#### Multilevel Block Factorization Preconditioners: Matrix-based Analysis and Algorithms for Solving Finite Element Equations (Hardback)

$54.95

"This monograph is the first to provide a comprehensive, self-contained and rigorous presentation of some of the most powerful preconditioning methods for solving finite element equations in a common block-matrix factorization framework." — From the back cover

#### An Introduction to Random Matrices (Hardback)

$53.95

"The theory of random matrices plays an important role in many areas of pure mathematics and employs a variety of sophisticated mathematical tools (analytical, probabilistic, and combinatorial). This diverse array of tools, while attesting to the vitality of the field, presents several formidable obstacles to the newcomer, and even to the expert probabilist. This rigorous introduction to the basic theory is sufficiently self-contained to be accessible to graduate students in mathematics or related sciences who have mastered probability theory at the graduate level, but who have not necessarily been exposed to advanced notions of functional analysis, algebra, or geometry." — From the back cover

#### Measure and Integral: An Introduction to Real Analysis (Hardback)

$53.29

"This volume develops the classical theory of the Lebesgue integral and some of its applications. The integral is initially presented in the context of

*n*-dimensional Euclidean space, following a thorough study of the concepts of outer measure and measure. A more general treatment of the integral, based on an axiomatic approach, is later given." — From the back cover