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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Tarski, Alfred
Otros Autores: Tarski, Jan
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

MARC

LEADER 00000cam a2200000Mu 4500
001 EBOOKCENTRAL_ocn466426147
003 OCoLC
005 20240329122006.0
006 m o d
007 cr mn|---|||||
008 091116s1994 nyu o 000 0 eng d
040 |a MERUC  |b eng  |e pn  |c MERUC  |d EBLCP  |d OCLCQ  |d DEBSZ  |d OCLCQ  |d OCLCO  |d OCLCF  |d OCLCQ  |d ZCU  |d MERUC  |d OCLCQ  |d ICG  |d OCLCQ  |d DKC  |d OCLCQ  |d OCLCO  |d OCLCQ  |d OCLCO  |d OCLCL 
019 |a 476008120  |a 935260613 
020 |a 9780198021391  |q (electronic bk.) 
020 |a 0198021399  |q (electronic bk.) 
029 1 |a DEBBG  |b BV044120482 
029 1 |a DEBSZ  |b 379299135 
029 1 |a AU@  |b 000066763366 
035 |a (OCoLC)466426147  |z (OCoLC)476008120  |z (OCoLC)935260613 
050 4 |a QA9  |a QA9.T28 1994  |a QA9 .T28 1994eb 
082 0 4 |a 511.3 
049 |a UAMI 
100 1 |a Tarski, Alfred. 
245 1 0 |a Introduction to Logic and to the Methodology of the Deductive Sciences. 
260 |a New York :  |b Oxford University Press,  |c 1994. 
300 |a 1 online resource (254 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Oxford Logic Guides ;  |v v. No. 24 
505 0 |a 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. 
505 8 |a 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. 
520 |a 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. 
588 0 |a Print version record. 
590 |a ProQuest Ebook Central  |b Ebook Central Academic Complete 
650 0 |a Arithmetic. 
650 0 |a Foundations. 
650 0 |a Mathematics. 
650 0 |a Mathematics  |x Philosophy. 
650 0 |a Philosophy. 
650 2 |a Mathematics 
650 2 |a Philosophy 
650 6 |a Arithmétique. 
650 6 |a Fondations (Construction) 
650 6 |a Mathématiques. 
650 6 |a Mathématiques  |x Philosophie. 
650 6 |a Philosophie. 
650 7 |a arithmetic.  |2 aat 
650 7 |a foundations (structural elements)  |2 aat 
650 7 |a philosophy.  |2 aat 
650 7 |a Arithmetic  |2 fast 
650 7 |a Foundations  |2 fast 
650 7 |a Mathematics  |2 fast 
650 7 |a Mathematics  |x Philosophy  |2 fast 
650 7 |a Philosophy  |2 fast 
700 1 |a Tarski, Jan. 
758 |i has work:  |a Introduction to logic and to methodology of the deductive sciences (Text)  |1 https://id.oclc.org/worldcat/entity/E39PCYBrJhQbtCD6HmK6Hcxpbm  |4 https://id.oclc.org/worldcat/ontology/hasWork 
776 1 |z 9780195044720 
830 0 |a Oxford logic guides. 
856 4 0 |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=271709  |z Texto completo 
938 |a EBL - Ebook Library  |b EBLB  |n EBL271709 
994 |a 92  |b IZTAP