LEADER 03099nam  2200661Ia 450 
001 9910451694503321
005 20200520144314.0
010   $a1-280-52334-4
010   $a9786610523344
010   $a0-19-802139-9
010   $a1-4294-0542-2
035   $a(CKB)1000000000465839
035   $a(EBL)271709
035   $a(OCoLC)476008120
035   $a(SSID)ssj0000182689
035   $a(PQKBManifestationID)11178058
035   $a(PQKBTitleCode)TC0000182689
035   $a(PQKBWorkID)10172618
035   $a(PQKB)11362492
035   $a(MiAaPQ)EBC271709
035   $a(Au-PeEL)EBL271709
035   $a(CaPaEBR)ebr10358316
035   $a(CaONFJC)MIL52334
035   $a(OCoLC)935260613
035   $a(EXLCZ)991000000000465839
100   $a19930729d1994      uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 10$aIntroduction to logic and to the methodology of the deductive sciences$b[electronic resource] /$fby Alfred Tarski
205   $a4th ed. /$bedited by Jan Tarski.
210   $aNew York $cOxford University Press$d1994
215   $a1 online resource (254 p.)
225 1 $aOxford logic guides ;$v24
300   $aDescription based upon print version of record.
311   $a0-19-504472-X 
320   $aIncludes bibliographical references and index.
327   $aContents; 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
327   $aIX: 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
330   $aThe 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.
410  0$aOxford logic guides ;$v24.
606   $aMathematics$xPhilosophy
606   $aArithmetic$xFoundations
608   $aElectronic books.
615  0$aMathematics$xPhilosophy.
615  0$aArithmetic$xFoundations.
676   $a511.3
700   $aTarski$b Alfred$01978
701   $aTarski$b Jan$0933378
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910451694503321
996   $aIntroduction to logic and to the methodology of the deductive sciences$92101233
997   $aUNINA