Logic, semantics, metamathematics: papers from 1923 to 1938
Main Author: | |
---|---|
Contributors: | |
Format: | Print Book |
Language: | English |
Subito Delivery Service: | Order now. |
Check availability: | HBZ Gateway |
WorldCat: | WorldCat |
Fernleihe: | Fernleihe für die Fachinformationsdienste |
Published: |
Oxford
Clarendon Press
1956
|
In: | Year: 1956 |
Reviews: | [Rezension von: Tarski, Alfred, Logic, Semantics, Metamathematics. Papers from 1923 to 1938] (1957) (Scholz, Heinrich)
|
Standardized Subjects / Keyword chains: | B
Formal semantics
/ Mathematical logic
B Metamathematics B Semantics B Logic B Formal semantics B Mathematical logic |
Further subjects: | B
Collection of essays
B Logic, Symbolic and mathematical B Semantics (Philosophy) |
MARC
LEADER | 00000cam a2200000 4500 | ||
---|---|---|---|
001 | 1081083573 | ||
003 | DE-627 | ||
005 | 20240612134250.0 | ||
007 | tu | ||
008 | 960404s1956 xxk||||| 00| ||eng c | ||
016 | 7 | |a b5608372 |2 UK | |
035 | |a (DE-627)1081083573 | ||
035 | |a (DE-576)011083573 | ||
035 | |a (DE-599)BSZ011083573 | ||
035 | |a (OCoLC)10451027 | ||
035 | |a (OCoLC)10451027 | ||
035 | |a (DE-604)8050488562 | ||
040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
041 | |a eng | ||
044 | |c XA-GB | ||
050 | 0 | |a BC135 | |
082 | 0 | |a 511.3 | |
082 | 0 | |a 164 |q OCLC | |
084 | |a 1 |a 0 |2 ssgn | ||
084 | |a CC 2600 |2 rvk |0 (DE-625)rvk/17610: | ||
084 | |a CI 7660 |2 rvk |0 (DE-625)rvk/18596:11797 | ||
084 | |a QH 120 |2 rvk |0 (DE-625)rvk/141532: | ||
084 | |a SF 8280 |2 rvk |0 (DE-625)rvk/143001: | ||
084 | |a SK 130 |2 rvk |0 (DE-625)rvk/143216: | ||
084 | |a 08.25 |2 bkl | ||
084 | |a 08.33 |2 bkl | ||
084 | |a 31.10 |2 bkl | ||
100 | 1 | |0 (DE-588)118620851 |0 (DE-627)079409776 |0 (DE-576)163270937 |4 aut |a Tarski, Alfred |d 1901-1983 | |
109 | |a Tarski, Alfred 1901-1983 |a Tajtelbaum, Alfred 1901-1983 |a Teitelbaum, Alfred 1901-1983 | ||
245 | 1 | 0 | |a Logic, semantics, metamathematics |b papers from 1923 to 1938 |c by Alfred Tarski. Transl. by J. H. Woodger |
264 | 1 | |a Oxford |b Clarendon Press |c 1956 | |
300 | |a XIV, 471 S. | ||
336 | |a Text |b txt |2 rdacontent | ||
337 | |a ohne Hilfsmittel zu benutzen |b n |2 rdamedia | ||
338 | |a Band |b nc |2 rdacarrier | ||
500 | |a Literaturverz. S. [456] - 462 | ||
583 | 1 | |a Archivierung prüfen |c 20240324 |f DE-4165 |z 3 |2 pdager | |
601 | |a Metamathematik | ||
650 | 0 | |a Logic, Symbolic and mathematical | |
650 | 0 | |a Semantics (Philosophy) | |
655 | 7 | |a Aufsatzsammlung |0 (DE-588)4143413-4 |0 (DE-627)105605727 |0 (DE-576)209726091 |2 gnd-content | |
689 | 0 | 0 | |d s |0 (DE-588)4122144-8 |0 (DE-627)105764582 |0 (DE-576)209549033 |2 gnd |a Formale Semantik |
689 | 0 | 1 | |d s |0 (DE-588)4037951-6 |0 (DE-627)104707992 |0 (DE-576)20902741X |2 gnd |a Mathematische Logik |
689 | 0 | |5 (DE-627) | |
689 | 1 | 0 | |d s |0 (DE-588)4074759-1 |0 (DE-627)106088467 |0 (DE-576)209195185 |2 gnd |a Metamathematik |
689 | 1 | |5 (DE-627) | |
689 | 2 | 0 | |d s |0 (DE-588)4054490-4 |0 (DE-627)104649615 |0 (DE-576)209109033 |2 gnd |a Semantik |
689 | 2 | |5 (DE-627) | |
689 | 3 | 0 | |d s |0 (DE-588)4036202-4 |0 (DE-627)106243772 |0 (DE-576)209017082 |2 gnd |a Logik |
689 | 3 | |5 (DE-627) | |
689 | 4 | 0 | |d s |0 (DE-588)4122144-8 |0 (DE-627)105764582 |0 (DE-576)209549033 |2 gnd |a Formale Semantik |
689 | 4 | |5 (DE-627) | |
689 | 5 | 0 | |d s |0 (DE-588)4037951-6 |0 (DE-627)104707992 |0 (DE-576)20902741X |2 gnd |a Mathematische Logik |
689 | 5 | |5 (DE-627) | |
689 | 6 | 0 | |d s |0 (DE-588)4037951-6 |0 (DE-627)104707992 |0 (DE-576)20902741X |2 gnd |a Mathematische Logik |
689 | 6 | |5 (DE-627) | |
689 | 7 | 0 | |d s |0 (DE-588)4122144-8 |0 (DE-627)105764582 |0 (DE-576)209549033 |2 gnd |a Formale Semantik |
689 | 7 | |5 (DE-627) | |
700 | 1 | |0 (DE-588)127086374 |0 (DE-627)383216125 |0 (DE-576)296150932 |4 oth |a Woodger, Joseph H. |d 1894-1981 | |
787 | 0 | 8 | |i Rezensiert in |a Scholz, Heinrich |t [Rezension von: Tarski, Alfred, Logic, Semantics, Metamathematics. Papers from 1923 to 1938] |d 1957 |w (DE-627)1784775134 |
889 | |w (DE-627)404429076 | ||
889 | |w (DE-627)195275985 | ||
935 | |i mdedup | ||
936 | r | v | |a CC 2600 |b Abhandlungen zur Logik und mathematischen Grundlagenforschung |k Philosophie |k Systematische Philosophie |k Logik |k Abhandlungen zur Logik und mathematischen Grundlagenforschung |0 (DE-627)1270638734 |0 (DE-625)rvk/17610: |0 (DE-576)200638734 |
936 | r | v | |a CI 7660 |b Primärliteratur |k Philosophie |k Geschichte der Philosophie |k Geschichte der Philosophie des Abendlandes von Antike bis 20. Jahrhundert |k Philosophie des 20. Jahrhunderts |k Russland, ehem. Sowjetunion und slawischer Sprachraum |k Autoren |k Tarski, Alfred |k Primärliteratur |0 (DE-627)1270888978 |0 (DE-625)rvk/18596:11797 |0 (DE-576)200888978 |
936 | r | v | |a QH 120 |b Grundlagenforschung |k Wirtschaftswissenschaften |k Mathematik. Statistik. Ökonometrie. Unternehmensforschung |k Mathematik |k Grundlagenforschung |0 (DE-627)1271609258 |0 (DE-625)rvk/141532: |0 (DE-576)201609258 |
936 | r | v | |a SF 8280 |b Tarski, Alfred |k Mathematik |k Gesammelte Werke |k Autoren T |k Tarski, Alfred |0 (DE-627)1271544350 |0 (DE-625)rvk/143001: |0 (DE-576)201544350 |
936 | r | v | |a SK 130 |b Logik und Grundlagen, Metamathematik, |k Mathematik |k Monografien |k Logik und Grundlagen, Metamathematik, |0 (DE-627)1270918567 |0 (DE-625)rvk/143216: |0 (DE-576)200918567 |
936 | b | k | |a 08.25 |j Zeitgenössische westliche Philosophie |0 (DE-627)106403672 |
936 | b | k | |a 08.33 |j Logik |x Philosophie |0 (DE-627)106402684 |
936 | b | k | |a 31.10 |j Mathematische Logik |j Mengenlehre |0 (DE-627)10640847X |
951 | |a BO | ||
ACO | |a 1 | ||
ELC | |b 1 | ||
ITA | |a 1 |t 1 | ||
LOK | |0 000 xxxxxcx a22 zn 4500 | ||
LOK | |0 001 2083942779 | ||
LOK | |0 003 DE-627 | ||
LOK | |0 004 1081083573 | ||
LOK | |0 005 20050301000000 | ||
LOK | |0 008 050301||||||||||||||||ger||||||| | ||
LOK | |0 040 |a DE-21 |c DE-627 |d DE-21 | ||
LOK | |0 852 |a DE-21 | ||
LOK | |0 852 1 |c Ab 448 |9 00 | ||
LOK | |0 935 |a dika | ||
LOK | |0 000 xxxxxcx a22 zn 4500 | ||
LOK | |0 001 2083942795 | ||
LOK | |0 003 DE-627 | ||
LOK | |0 004 1081083573 | ||
LOK | |0 005 20100406205013 | ||
LOK | |0 008 050820||||||||||||||||ger||||||| | ||
LOK | |0 040 |a DE-21-46 |c DE-627 |d DE-21-46 | ||
LOK | |0 541 |e 10307 | ||
LOK | |0 689 |a s |0 1311359982 |a Logik | ||
LOK | |0 689 |a s |0 1311365796 |a Semantik | ||
LOK | |0 852 |a DE-21-46 | ||
LOK | |0 852 1 |c D 4/1956,4 |m p |9 00 | ||
LOK | |0 935 |a k046 | ||
LOK | |0 938 |k p | ||
LOK | |0 000 xxxxxcx a22 zn 4500 | ||
LOK | |0 001 2531196382 | ||
LOK | |0 003 DE-627 | ||
LOK | |0 004 1081083573 | ||
LOK | |0 005 20070410095250 | ||
LOK | |0 008 070410||||||||||||||||ger||||||| | ||
LOK | |0 040 |a DE-21-119 |c DE-627 |d DE-21-119 | ||
LOK | |0 541 |e 68/101 | ||
LOK | |0 852 |a DE-21-119 | ||
LOK | |0 852 1 |c F.4.0 |m p |9 00 | ||
LOK | |0 935 |a k119 |a i119 |a kneu | ||
LOK | |0 938 |k p | ||
LOK | |0 000 xxxxxcx a22 zn 4500 | ||
LOK | |0 001 2649161434 | ||
LOK | |0 003 DE-627 | ||
LOK | |0 004 1081083573 | ||
LOK | |0 005 20100928092105 | ||
LOK | |0 008 100928||||||||||||||||ger||||||| | ||
LOK | |0 040 |a DE-21-39 |c DE-627 |d DE-21-39 | ||
LOK | |0 541 |e 623/64 | ||
LOK | |0 852 |a DE-21-39 | ||
LOK | |0 852 1 |c Tars |m p |9 00 | ||
LOK | |0 935 |a K039 | ||
LOK | |0 938 |k p | ||
ORI | |a SA-MARC-ixtheoa001.raw | ||
REL | |a 1 | ||
STA | 0 | 0 | |a Formal semantics,Logical semantics,Logic,Philosophical logic,Mathematical logic,Logic,Formal logic,Logic, Symbolic and mathematical,Metamathematics,Semantics,Semasiology,Meaning theory,General semantics |
STB | 0 | 0 | |a Logique,Logique mathématique,Logique mathématique,Métamathématique,Sémantique formelle,Sémantique,Sémantique générale |
STC | 0 | 0 | |a Lógica,Lógica matemática,Lógica algebraica,Metamatemática,Semántica,Semántica formal |
STD | 0 | 0 | |a Logica,Logica matematica,Metamatematica,Semantica formale,Sematica |
STE | 0 | 0 | |a 形式语义学,数理逻辑,语义学,逻辑,推理,推论 |
STF | 0 | 0 | |a 元数学,形式語義學,數理邏輯,語義學,邏輯,推理,推論 |
STG | 0 | 0 | |a Lógica,Lógica matemática,Metamatemática,Semântica,Semântica formal |
STH | 0 | 0 | |a Логика,Математическая логика,Метаматематика,Семантика,Формальная семантика |
STI | 0 | 0 | |a Λογική,Μαθηματική λογική,Μεταμαθηματικά,Σημασιολογία,Τυπική σημασιολογία |
SUB | |a REL | ||
SYG | 0 | 0 | |a Logik,Logische Semantik,Semantik , Logik,Algebra der Logik,Algebraische Logik,Formale Logik,Logistik,Symbolische Logik , Mathematische Grundlagentheorie , Bedeutungslehre,Allgemeine Semantik,Allgemeinsemantik , Philosophische Logik , Logik,Logische Semantik,Semantik , Logik,Algebra der Logik,Algebraische Logik,Formale Logik,Logistik,Symbolische Logik , Logik,Algebra der Logik,Algebraische Logik,Formale Logik,Logistik,Symbolische Logik , Logik,Logische Semantik,Semantik |