Logic, semantics, metamathematics; papers from 1923 to 1938
Saved in:
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English Undetermined |
| Published: |
Oxford :
Clarendon Press,
1956
Oxford, 1956 Oxford : 1956 |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| LEADER | 10516nam a2201633Ia 4500 | ||
|---|---|---|---|
| 001 | 0e3ea199-76bb-4cbb-939c-d2d2d1cf1ad5 | ||
| 005 | 20240926000000.0 | ||
| 008 | 861021s1956 enk b 000 0 eng | ||
| 010 | |a 56004171 | ||
| 010 | |a 56004171 /L | ||
| 010 | |a 56004171 /L | ||
| 010 | |a 56004171 | ||
| 010 | |a 56004171/L | ||
| 010 | |a 56004171 /L | ||
| 010 | |a 56004171 | ||
| 010 | |a ^^^56004171^/L | ||
| 015 | |a GB56-8372 | ||
| 019 | |a 1036120 | ||
| 035 | |9 AAL6742YL | ||
| 035 | |9 ACL1178 | ||
| 035 | |9 AKE6186CU | ||
| 035 | |9 CBQ7052TS | ||
| 035 | |a (CStRLIN)CTYG25867709-B | ||
| 035 | |a (CStRLIN)NJPG95-B10837 | ||
| 035 | |a (CStRLIN)NYCX85B78967 | ||
| 035 | |a (CStRLIN)PAUG1036120-B | ||
| 035 | |a (ICU)BID16910206 | ||
| 035 | |a (MCM)001364368MIT01 | ||
| 035 | |a (NIC)notisACQ7017 | ||
| 035 | |a (NNC)1560481 | ||
| 035 | |a (NcD)001365652DUK01 | ||
| 035 | |a (NjP)951087-princetondb | ||
| 035 | |a (OCoLC)01036120 | ||
| 035 | |a (OCoLC)10451027 |z (OCoLC)1036120 |z (OCoLC)869810028 |z (OCoLC)903403176 |z (OCoLC)976721411 |z (OCoLC)993310586 |z (OCoLC)1086967881 |z (OCoLC)1087176928 |z (OCoLC)1153421895 |z (OCoLC)1167182483 |z (OCoLC)1221541781 |z (OCoLC)1277106678 | ||
| 035 | |a (OCoLC)10451027 | ||
| 035 | |a (OCoLC)ocm10451027 |9 ExL | ||
| 035 | |a (OCoLC)ocm10451027 | ||
| 035 | |a (OCoLC)ocn687341233 | ||
| 035 | |a (OCoLC-I)274215520 | ||
| 035 | |a (OCoLC-M)10451027 | ||
| 035 | |a (PU)486913-penndb-Voyager | ||
| 035 | |a (RPB)b13509093-01bu_inst | ||
| 035 | |a (Sirsi) AKV5100 | ||
| 035 | |a 106082 | ||
| 035 | |a 1560481 | ||
| 035 | |a 486913 | ||
| 035 | |a 610827 | ||
| 035 | |a RIBG86-B33200 | ||
| 035 | |z (NjP)Voyager951087 | ||
| 040 | |a DLC |b eng |c MNU |d m.c |d NDD | ||
| 040 | |a DLC |c CSU |d m.c | ||
| 040 | |a DLC |c MNU |d UKM |d OCLCQ |d NLGGC |d MYG | ||
| 040 | |a DLC |c MNU |d UKM |d ZCU | ||
| 040 | |a DLC |c MNU |d m.c |d CGU |d ICU | ||
| 040 | |a DLC |c MNU |d m.c |d STF |d OrLoB | ||
| 040 | |b eng |c CtY |d CtY |d IaU | ||
| 040 | |b eng |c OClU |d PU |d CStRLIN | ||
| 040 | |c CtY |d CtY |d MnU |d NIC | ||
| 040 | |c CtY |d CtY | ||
| 041 | 1 | |a eng |h und | |
| 049 | |a MYGG | ||
| 050 | 4 | |a BC135 |b .T35 1956 | |
| 050 | 0 | |a BC135 |b .T35 1956 | |
| 050 | 0 | |a BC135 |b .T35 | |
| 050 | 0 | |a BC135.T35 | |
| 050 | 0 | 0 | |a BC135 |b .T35 |
| 079 | |a 10451027 | ||
| 082 | |a 164 | ||
| 082 | 0 | |a 164 | |
| 084 | |a 31.10 |2 bcl | ||
| 090 | |a \L T177 | ||
| 092 | |a 164 |b T193L | ||
| 100 | 1 | |a Tarski, Alfred | |
| 100 | 1 | |a Tarski, Alfred, |d 1901-1983 | |
| 245 | 1 | 0 | |a Logic, semantics, metamathematics; |b papers from 1923 to 1938 |c Translated by J. H. Woodger. |
| 260 | |a Oxford : |b Clarendon Press, |c 1956 | ||
| 260 | |a Oxford, |b Clarendon Press, |c 1956 | ||
| 264 | 1 | |a Oxford : |b Clarendon Press, |c 1956 | |
| 264 | 3 | |c 1969 | |
| 300 | |a 471 p |c 23 cm. | ||
| 300 | |a 471 pages ; |c 23 cm | ||
| 300 | |a 471p |c 23cm. | ||
| 300 | |a xii, 471 p |c 23 cm. | ||
| 300 | |a xiv, 471 pages ; |c 23 cm | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a unmediated |b n |2 rdamedia | ||
| 338 | |a volume |b nc |2 rdacarrier | ||
| 500 | |a Includes indexes | ||
| 500 | |a This WorldCat-derived record is shareable under Open Data Commons ODC-BY, with attribution to OCLC |5 CTY | ||
| 504 | |a Bibliography: p. [456]-462 | ||
| 504 | |a Includes bibliographical references (p. [456]-462) and indexes | ||
| 504 | |a Includes bibliographical references (pages 456-462) | ||
| 505 | 2 | |a On the primitive term of logistic -- Foundations of the geometry of solids -- On some fundamental concepts of metamathematics -- Investigations into the sentential calculus -- Fundamental concepts of the methodology of the deductive sciences -- On definable sets of real numbers -- Logical operations and projective sets -- The concept of truth in formalized languages -- Some observations on the concepts of omega-consistency and omega-completeness -- Some methodological investigations on the definability of concepts -- On the foundations of boolean algebra -- Foundations of the calculus of systems -- On the limitations of the means of expression of deductive theories -- On extensions of incomplete systems of the sentential calculus -- The establishment of scientific semantics -- On the concept of logical consequence -- Sentential calculus and topology | |
| 650 | 0 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | |a Semantics (Philosophy) | |
| 650 | 2 | |a Logic | |
| 650 | 2 | |a Mathematics | |
| 650 | 2 | |a Philosophy | |
| 650 | 2 | |a Semantics | |
| 650 | 4 | |a PRO Farber, Paul (donor) (2nd Storage copy) |5 PU | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast | |
| 650 | 7 | |a Semantics (Philosophy) |2 fast | |
| 700 | 1 | |a Woodger. J. H., |e translator | |
| 776 | 0 | 8 | |i Online version: |a Tarski, Alfred |t Logic, semantics, metamathematics. |d Oxford, Clarendon Press, 1956 |w (OCoLC)608657654 |
| 999 | 1 | 0 | |i 0e3ea199-76bb-4cbb-939c-d2d2d1cf1ad5 |l a2145200 |s US-CST |m logic_semantics_metamathematicspapers_from_1923_to_1938____________________1956_______clarea________________________________________tarski__alfred_____________________p |
| 999 | 1 | 0 | |i 0e3ea199-76bb-4cbb-939c-d2d2d1cf1ad5 |l 106082 |s US-CTY |m logic_semantics_metamathematicspapers_from_1923_to_1938____________________1956_______clarea________________________________________tarski__alfred_____________________p |
| 999 | 1 | 0 | |i 0e3ea199-76bb-4cbb-939c-d2d2d1cf1ad5 |l 1446038 |s US-ICU |m logic_semantics_metamathematicspapers_from_1923_to_1938____________________1956_______clarea________________________________________tarski__alfred_____________________p |
| 999 | 1 | 0 | |i 0e3ea199-76bb-4cbb-939c-d2d2d1cf1ad5 |l 990013643680106761 |s US-MCM |m logic_semantics_metamathematicspapers_from_1923_to_1938____________________1956_______clarea________________________________________tarski__alfred_____________________p |
| 999 | 1 | 0 | |i 0e3ea199-76bb-4cbb-939c-d2d2d1cf1ad5 |l 990010677230203941 |s US-MH |m logic_semantics_metamathematicspapers_from_1923_to_1938____________________1956_______clarea________________________________________tarski__alfred_____________________p |
| 999 | 1 | 0 | |i 0e3ea199-76bb-4cbb-939c-d2d2d1cf1ad5 |l 990013656520108501 |s US-NCD |m logic_semantics_metamathematicspapers_from_1923_to_1938____________________1956_______clarea________________________________________tarski__alfred_____________________p |
| 999 | 1 | 0 | |i 0e3ea199-76bb-4cbb-939c-d2d2d1cf1ad5 |l 610827 |s US-NIC |m logic_semantics_metamathematicspapers_from_1923_to_1938____________________1956_______clarea________________________________________tarski__alfred_____________________p |
| 999 | 1 | 0 | |i 0e3ea199-76bb-4cbb-939c-d2d2d1cf1ad5 |l 999510873506421 |s US-NJP |m logic_semantics_metamathematicspapers_from_1923_to_1938____________________1956_______clarea________________________________________tarski__alfred_____________________p |
| 999 | 1 | 0 | |i 0e3ea199-76bb-4cbb-939c-d2d2d1cf1ad5 |l 1560481 |s US-NNC |m logic_semantics_metamathematicspapers_from_1923_to_1938____________________1956_______clarea________________________________________tarski__alfred_____________________p |
| 999 | 1 | 0 | |i 0e3ea199-76bb-4cbb-939c-d2d2d1cf1ad5 |l 994869133503681 |s US-PU |m logic_semantics_metamathematicspapers_from_1923_to_1938____________________1956_______clarea________________________________________tarski__alfred_____________________p |
| 999 | 1 | 0 | |i 0e3ea199-76bb-4cbb-939c-d2d2d1cf1ad5 |l 991015629779706966 |s US-RPB |m logic_semantics_metamathematicspapers_from_1923_to_1938____________________1956_______clarea________________________________________tarski__alfred_____________________p |
| 999 | 1 | 1 | |l a2145200 |s ISIL:US-CST |t BKS |b 06a58884-41de-56b0-b7ad-bf0e86147fdf |y 06a58884-41de-56b0-b7ad-bf0e86147fdf |p UNLOANABLE |
| 999 | 1 | 1 | |l a2145200 |s ISIL:US-CST |t BKS |a TAN-STACKS |b 36105042684394 |c QA9 .T3 |d Library of Congress classification |k 1 |x book |y 36105042684394 |p UNLOANABLE |
| 999 | 1 | 1 | |l a2145200 |s ISIL:US-CST |t BKS |a SAL3-STACKS |b 36105000255799 |c BC135 .T35 |d Library of Congress classification |k 1 |x book |y 36105000255799 |p UNLOANABLE |
| 999 | 1 | 1 | |l a2145200 |s ISIL:US-CST |t BKS |a SAL3-STACKS |b 36105002024557 |c QA9 .T3 |d Library of Congress classification |k 1 |x book |y 36105002024557 |p UNLOANABLE |
| 999 | 1 | 1 | |l 106082 |s ISIL:US-CTY |t BKS |a lsfmath |b 39002018987413 |c L T177L |g 1 |v 1 piece |x lsfc |y 115060 |p LOANABLE |
| 999 | 1 | 1 | |l 106082 |s ISIL:US-CTY |t BKS |a sml |b 39002001606939 |c BC135 T3513 |g 0 |v 1 piece |x circ |y 115061 |p LOANABLE |
| 999 | 1 | 1 | |l 106082 |s ISIL:US-CTY |t BKS |a smlphi |b 39002035104273 |c KBC135 T37 |g 1 |v 1 piece |x noreq |y 115062 |p UNLOANABLE |
| 999 | 1 | 1 | |l 1446038 |s ISIL:US-ICU |t BKS |a JRL-Gen |b 13189425 |c BC135.T225 |d Library of Congress classification |y 2821480 |p LOANABLE |
| 999 | 1 | 1 | |l 1446038 |s ISIL:US-ICU |t BKS |a JRL-Gen |b 47499412 |c BC135.T225 |d Library of Congress classification |y 2821482 |p LOANABLE |
| 999 | 1 | 1 | |l 990013643680106761 |s ISIL:US-MCM |t BKS |a LSA OCC |b 39080022503087 |c BC135.T35 |d 0 |x BOOK |y 23499797570006761 |p UNLOANABLE |
| 999 | 1 | 1 | |l 990010677230203941 |s ISIL:US-MH |t BKS |a CAB HD |b HS13ZZ |c BC135 .T35 |d 0 |x 01 BOOK |y 231788269890003941 |p LOANABLE |
| 999 | 1 | 1 | |l 990010677230203941 |s ISIL:US-MH |t BKS |a WID GEN |b 32044024770992 |c Math 84.4.15 |d 7 |x 01 BOOK |y 231788269910003941 |p LOANABLE |
| 999 | 1 | 1 | |l 990013656520108501 |s ISIL:US-NCD |t BKS |a LSC PSL |b D01132740I |c 164 T193L |d 1 |x BOOK |y 23715195010008501 |p UNLOANABLE |
| 999 | 1 | 1 | |l 990013656520108501 |s ISIL:US-NCD |t BKS |a LSC PSL |b D01227019M |c 164 T193L |d 1 |x BOOK |y 23715195000008501 |p UNLOANABLE |
| 999 | 1 | 1 | |l 610827 |s ISIL:US-NIC |t BKS |a math |b 31924001541865 |c BC135 .T19 1956 |d lc |k 1 |x Book |y 55121560-bd9d-4bc7-ac69-1792c66e7286 |p LOANABLE |
| 999 | 1 | 1 | |l 999510873506421 |s ISIL:US-NJP |t BKS |a firestone stacks |b 32101058606094 |c BC135 .T35 1956 |d 0 |x Gen |y 23608116210006421 |p LOANABLE |
| 999 | 1 | 1 | |l 999510873506421 |s ISIL:US-NJP |t BKS |a recap pa |b 32101062453228 |c 8126.895.2 |d 8 |x Gen |y 23608116170006421 |p LOANABLE |
| 999 | 1 | 1 | |l 999510873506421 |s ISIL:US-NJP |t BKS |a firestone stacks |b 32101007274945 |c BC135 .T35 1956 |d 0 |x Gen |y 23608116190006421 |p LOANABLE |
| 999 | 1 | 1 | |l 1560481 |s ISIL:US-NNC |t BKS |a glx |b 0045837490 |c BC135 .T35 |y 1995087 |p LOANABLE |
| 999 | 1 | 1 | |l 1560481 |s ISIL:US-NNC |t BKS |a mat |b 0031693504 |c BC135 .T35 |y 1995086 |p UNLOANABLE |
| 999 | 1 | 1 | |l 994869133503681 |s ISIL:US-PU |t BKS |a Libra stor |b 31198034157615 |c BC135 .T35 |d 0 |x BOOK |y 23400250140003681 |p LOANABLE |
| 999 | 1 | 1 | |l 994869133503681 |s ISIL:US-PU |t BKS |a VanPeltLib vanp |b 31198002576242 |c BC135 .T35 |d 0 |x BOOK |y 23400250160003681 |p LOANABLE |
| 999 | 1 | 1 | |l 994869133503681 |s ISIL:US-PU |t BKS |a Libra stor |b 31198065479177 |c BC135 .T35 1956 |d 0 |x BOOK |y 23400250090003681 |p LOANABLE |
| 999 | 1 | 1 | |l 991015629779706966 |s ISIL:US-RPB |t BKS |a ROCK RKSTORAGE |b 31236000313588 |c BC135 .T34 |d 0 |y 23265143370006966 |p LOANABLE |