Staff View for: Logic Colloquium 2007

 Staff view

You must be logged in to Tag Records

Logic Colloquium 2007 /

edited by Françoise Delon ... [et al.].

Book Cover
Names: Delon, F.
Published: Cambridge ; Cambridge University Press, 2010.
Series: Lecture notes in logic ; 35.
Topics: Logic, Symbolic and mathematical - Congresses.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


000 02265cam a2200421 a 4500
001 12275005
005 20140613224944.0
008 100210s2010 enka b 100 0 eng
010 |a 2011280182
015 |aGBB030553|2bnb
016 7 |a015494211|2Uk
020 |a9780521760652 (hbk.)
020 |a0521760658 (hbk.)
035 |a(OCoLC)ocn528397716
035 |a(UIUdb)6588237
040 |aUKM|cUKM|dC#P|dBWX|dCDX|dYDXCP|dDLC|dMIX|dUNA|dUIU|dUIUdb
049 |aUIUU|oskip
050 4|aQA9.A1|bL64 2007
082 04|a511.3|222
111 2 |aLogic Colloquium|d(2007 :|cWrocław, Poland)
245 10|aLogic Colloquium 2007 /|cedited by Françoise Delon ... [et al.].
260 |aCambridge ;|aNew York :|bCambridge University Press,|c2010.
300 |axiii, 267 p. :|bill. ;|c24 cm.
490 1 |aLecture notes in logic ;|v35
500 |a" ... held in Wrocław, Poland, from 14 to 19 July 2007"--Introd.
500 |a"Association for Symbolic Logic."
504 |aIncludes bibliographical references.
505 0 |aDecorated linear order types and the theory of concatenation / Vedran Čačić ... [et al.] -- Cardinal preserving elementary embeddings / Andrés Eduardo Caicedo -- Proof interpretations and majorizability / Fernando Ferreira -- Proof mining in practice / Philipp Gerhardy -- Cardinal structure under AD / Steve Jackson -- Three lectures on automatic structures / Bakhadyr Khoussainov and Mia Minnes -- Pillay's conjecture and its solution : a survey / Ya'acov Peterzil -- Proof theory and meaning : on the context of deducibility / Greg Restall -- Bounded super real closed rings / Marcus Tressl -- Analytic combinatorics of the transfinite : a unifying Tauberian perspective / Andreas Weiermann.
562 |aAcquired with support from the University Library Friends Donations.
650 0|aLogic, Symbolic and mathematical|vCongresses.
700 1 |aDelon, F.|q(Françoise)
710 2 |aAssociation for Symbolic Logic.
830 0|aLecture notes in logic ;|v35.
938 |aCoutts Information Services|bCOUT|n11521691
938 |aYBP Library Services|bYANK|n3883569
938 |aMidwest Library Services|bMWST|n02408392010
938 |aBlackwell Book Service|bBBUS|n3883569
994 |a02|bUIU

Staff View for: Logic Colloquium 2007