Logic, semantics, metamathematics: papers from 1923 to 1938

Saved in:  
Bibliographic Details
Main Author: Tarski, Alfred 1901-1983 (Author)
Contributors: Woodger, Joseph H. 1894-1981 (Other)
Format: Print Book
Language:English
Subito Delivery Service: Order now.
Check availability: HBZ Gateway
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 20230918174117.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.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 
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 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 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 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 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 Monografien  |k Logik und Grundlagen, Metamathematik,  |0 (DE-627)1270918567  |0 (DE-625)rvk/143216:  |0 (DE-576)200918567 
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 TA-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 

Similar Items

more