|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910777628503321 |
|
|
Autore |
Tarski Alfred <1901-1983.> |
|
|
Titolo |
Introduction to logic and to the methodology of the deductive sciences [[electronic resource] /] / by Alfred Tarski |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York, : Oxford University Press, 1994 |
|
|
|
|
|
|
|
ISBN |
|
0-19-772719-0 |
1-280-52334-4 |
9786610523344 |
0-19-802139-9 |
1-4294-0542-2 |
|
|
|
|
|
|
|
|
Edizione |
[4th ed. /] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (254 p.) |
|
|
|
|
|
|
Collana |
|
Oxford logic guides ; ; 24 |
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Mathematics - Philosophy |
Arithmetic - Foundations |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Contents; From Author's Prefaces to Previous Editions; Editor's Preface; A Short Biographical Sketch of Alfred Tarski; First Part. Elements of Logic. Deductive Method; I: On the Use of Variables; II: On the Sentential Calculus; III: On the Theory of Identity; IV: On the Theory of Classes; V: On the Theory of Relations; VI: On the Deductive Method; Second Part. Applications of Logic and Methodology in Constructing Mathematical Theories; VII: Construction of a Mathematical Theory: Laws of Order for Numbers; VIII: Construction of a Mathematical Theory: Laws of Addition and Subtraction |
IX: Methodological Considerations on the Constructed TheoryX: Extension of the Constructed Theory: Foundations of Arithmetic of Real Numbers; Index; A; B; C; D; E; F; G; H; I; K; L; M; N; O; P; Q; R; S; T; U; V; W; Z |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
The fourth edition of a classic book on logic has been thoroughly revised by the author's son. It is a fundamental guide to modern mathematical logic and to the construction of mathematical theories. The first half covers the elements of logic, and the second half covers the applications of logic in theory building. |
|
|
|
|
|
|
|