×

Found 28 Documents (Results 1–28)

Appalachian set theory 2006–2012. Based on the Appalachian set theory workshop series during the period 2006–2012. (English) Zbl 1256.03003

London Mathematical Society Lecture Note Series 406. Cambridge: Cambridge University Press (ISBN 978-1-107-60850-4/pbk). 419 p. (2013).
MSC:  03-06 03Exx 00B25
PDFBibTeX XMLCite

Independence-friendly logic. A game-theoretic approach. (English) Zbl 1218.03002

London Mathematical Society Lecture Note Series 386. Cambridge: Cambridge University Press (ISBN 978-0-521-14934-1/pbk; 978-1-139-06538-2/ebook). vi, 208 p. (2011).
MSC:  03-02 03B60 91A80
PDFBibTeX XMLCite
Full Text: Link

Finite and algorithmic model theory. Based on the workshop at the University of Durham, UK, January 9–13, 2006. (English) Zbl 1213.03003

London Mathematical Society Lecture Note Series 379. Cambridge: Cambridge University Press (ISBN 978-0-521-71820-2/pbk). xi, 341 p. (2011).
PDFBibTeX XMLCite

Model theory with applications to algebra and analysis. Vol. 2. (English) Zbl 1152.03006

London Mathematical Society Lecture Note Series 350. Cambridge: Cambridge University Press (ISBN 978-0-521-70908-8/pbk). xv, 427 p. (2008).
PDFBibTeX XMLCite

Model theory with applications to algebra and analysis. Vol. 1. (English) Zbl 1144.03004

London Mathematical Society Lecture Note Series 349. Cambridge: Cambridge University Press (ISBN 978-0-521-69484-1/pbk). xv, 334 p. (2008).
PDFBibTeX XMLCite

Linear logic in computer science. Based on the Azores summer school on linear logic and computer science, St. Miguel, Azores, Portugal, August 30–September 7, 2000. (English) Zbl 1051.03003

London Mathematical Society Lecture Note Series 316. Cambridge: Cambridge University Press (ISBN 0-521-60857-0/pbk). x, 381 p. (2004).
MSC:  03-06 68-06 00B25
PDFBibTeX XMLCite

Analysis and logic. Report on three minicourses given at the international conference “Analyse et logique”, Mons, Belgium, August 25–29, 1997. (English) Zbl 1012.00036

London Mathematical Society Lecture Note Series. 262. Cambridge: Cambridge University Press. xiv, 267 p. (2002).
PDFBibTeX XMLCite

Models and computability. Invited papers from the Logic colloquium ’97, European meeting of the Association for Symbolic Logic, Leeds, UK, July 6–13, 1997. (English) Zbl 0919.00039

London Mathematical Society Lecture Note Series. 259. Cambridge: Cambridge University Press. ix, 419 p. (1999).
MSC:  00B25 03-06
PDFBibTeX XMLCite

Sets and proofs. Invited papers from the Logic colloquium ’97, European meeting of the Association for Symbolic Logic, Leeds, UK, July 6–13, 1997. (English) Zbl 0919.00040

London Mathematical Society Lecture Note Series. 258. Cambridge: Cambridge University Press. ix, 436 p. (1999).
MSC:  00B25 03-06
PDFBibTeX XMLCite

Model theory of groups and automorphism groups. Lectures held at the RESMOD summer school, Blaubeuren, Germany, July 31–August 5, 1995. (English) Zbl 0867.00021

London Mathematical Society Lecture Note Series. 244. Cambridge: Cambridge University Press. xvi, 212 p. (1997).
MSC:  00B25 20-06 03-06
PDFBibTeX XMLCite

Advances in linear logic. Based on the linear logic workshop held June 14-18, 1993 at the Mathematical Sciences Institute, Cornell University, Ithaca, New York, USA. (English) Zbl 0816.00018

London Mathematical Society Lecture Note Series. 222. Cambridge: Cambridge University Press. 389 p. £24.95; $ 44.95 (1995).
MSC:  00B25 03-06
PDFBibTeX XMLCite

Filter Results by …

all top 5

Year of Publication

all top 3

Main Field