A Decision Method for Elementary Algebra and Geometry / Alfred Tarski ; with the assistance of J. C. C. McKinsey.

Format:

Book

Author/Creator:

Tarski, Alfred, 1901-1983, author.

Contributor:

McKinsey, J. C. C. (John Charles Chenoweth), 1908- contributor.

Language:

English

Subjects (All):

Logic, Symbolic and mathematical.

Axioms.

Gödel's theorem.

Physical Description:

1 online resource (72 p.)

Edition:

Second edition.

Place of Publication:

Berkeley : University of California Press, 1951.

Language Note:

In English.

Summary:

This title is part of UC Press's Voices Revived program, which commemorates University of California Press's mission to seek out and cultivate the brightest minds and give them voice, reach, and impact. Drawing on a backlist dating to 1893, Voices Revived makes high-quality, peer-reviewed scholarship accessible once again using print-on-demand technology. This title was originally published in 1951. This title is part of UC Press's Voices Revived program, which commemorates University of California Press's mission to seek out and cultivate the brightest minds and give them voice, reach, and impact. Drawing on a backlist dating to 1893, Voices Revived.

Contents:

Frontmatter

PREFACE

CONTENTS

INTRODUCTION

SECTION 1 — THE SYSTEM OF ELEMENTARY ALGEBRA

SECTION 2 — DECISION METHOD FOR ELEMENTARY ALGEBRA

SECTION 3 — EXTENSIONS TO RELATED SYSTEMS

NOTES

BIBLIOGRAPHY

SUPPLEMENTARY NOTES

Notes:

Includes bibliographical references.

Description based on online resource; title from PDF title page (publisher's Web site, viewed 01. Okt 2020)

Description based on print version record.

ISBN:

9780520348097

0520348095

OCLC:

1198931941