Cargando…
Introduction to Logic and to the Methodology of the Deductive Sciences.
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 log...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
New York :
Oxford University Press,
1994.
|
| Colección: | Oxford logic guides.
|
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- 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.