Introduction to Logic and to the Methodology of the Deductive Sciences (Oxford Logic Guides)

Tarski, Alfred; Tarski, Jan

ISBN 10: 019504472X / ISBN 13: 9780195044720

Published by Oxford University Press (edition 4th), 1994

About this Item

Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.

Seller Inventory # 019504472X-11-1

Bibliographic Details

• Title: Introduction to Logic and to the Methodology of the Deductive Sciences (Oxford Logic Guides)
• Publisher: Oxford University Press (edition 4th)
• Publication Date: 1994
• Language: English
• ISBN 10: 019504472X
• ISBN 13: 9780195044720
• Binding: Hardcover
• Edition: 4th.
• Condition: Good

About this title

Synopsis

Now in it's fourth edition, this classic work on logic presents the student with a clear, concise introduction to the subject of logic and its apllications. The first part of the book introduces the concepts and principles which make up the elements of logic, demonstrating that the concepts of logic are found in all branches of mathematics, and that logical laws are constantly applied in mathematical reasoning. The book goes on to show the applications of logic in mathematical theory building using concrete examples, drawing upon the concepts and principles presented in the first section. An introduction to the theory of real numbers is also presented. Exercises are included, designed to assist in the assimilation of the concepts and principles. Throughout the conceptual side or logic is stressed.

Thoroughly revised by the author's son, the book remains a fundametal guide to modern mathematica logic and is a very important addition to this highly successful series.

Review

"For Tarski logic was not only an essential tool of mathematics but the very foundation of it. What is more, he credited logic with having even more general meaning and significance. This new edition of Tarski's classic book will certainly help a new generation of readers in this respect." -- Roman Murawski, Modern Logic, Vol 8, No 1/2 (January 1998 - April 2000)