LEADER 02025cam a22003738a 4500001    235775
005    20240621195732.0
008    131220r20082004enkab    b    001 0beng  
016 7  014276207 |2Uk
020    9780521714013 |qpaperback
020    052171401X |qpaperback
035    (OCoLC)ocn181069001
035    235775
049    LHMA
040    UKM |beng |erda |cUKM |dBTCTA |dBAKER |dADA |dKLG |dYDXCP |dBDX |dLHM
050  4 QA29.T32 |bF44 2008
100 1  Feferman, Anita Burdman.
245 10 Alfred Tarski : |blife and logic / |cAnita Burdman Feferman and Solomon Feferman.
264  1 Cambridge : |bCambridge University Press, |c2008.
263    200802
300    vi, 425 pages : |billustrations ; |c23 cm
336    text |btxt |2rdacontent
337    unmediated |bn |2rdamedia
338    volume |bnc |2rdacarrier
500    Originally published: 2004.
504    Includes bibliographical references and index.
505 0  The two Tarskis -- Independence and university -- Interlude I: The Banach-Tarski paradox, set theory and the axiom of choice -- Polot! The Polish attribute -- Interlude II: The completeness and decidability of algebra and geometry -- A wider sphere of influence -- Interlude III: Truth and definability -- How the 'unity of science' saved Tarski's Life -- Berkeley is so far from Princeton -- Building a school -- Interlude IV: The Publication Campaigns -- 'Papa Tarski' and his students -- Three meetings and two departures -- Logic and methodology, center stage -- Heydays -- Interlude V: Model theory and the 1963 Symposium -- Around the world -- Los Angeles and Berkeley -- Interlude VI: Algebras of logic -- A decade of honors -- The last times.
591    Record updated by Marcive processing 21 June 2024
600 10 Tarski, Alfred, |d1901-1983.
650  0 Logic, Symbolic and mathematical.
650  0 Logicians |zUnited States |vBiography.
655  7 Biographies. |2lcgft
700 1  Feferman, Solomon.
852 0   |bstacks |hQA29.T32 |iF44 2008