Loregian, Fosco (Co)end calculus. (English) Zbl 07344233 London Mathematical Society Lecture Note Series 468. Cambridge: Cambridge University Press (ISBN 978-1-108-74612-0/pbk; 978-1-108-77865-7/ebook). xii, 308 p. (2021). MSC: 18-02 03-02 PDFBibTeX XMLCite \textit{F. Loregian}, (Co)end calculus. Cambridge: Cambridge University Press (2021; Zbl 07344233) Full Text: DOI arXiv
Cummings, James (ed.); Schimmerling, Ernest (ed.) 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 \textit{J. Cummings} (ed.) and \textit{E. Schimmerling} (ed.), Appalachian set theory 2006--2012. Based on the Appalachian set theory workshop series during the period 2006--2012. Cambridge: Cambridge University Press (2013; Zbl 1256.03003)
Mann, Allen L.; Sandu, Gabriel; Sevenster, Merlijn 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). Reviewer: Roman Murawski (Poznań) MSC: 03-02 03B60 91A80 PDFBibTeX XMLCite \textit{A. L. Mann} et al., Independence-friendly logic. A game-theoretic approach. Cambridge: Cambridge University Press (2011; Zbl 1218.03002) Full Text: Link
Esparza, Javier (ed.); Michaux, Christian (ed.); Steinhorn, Charles (ed.) 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). MSC: 03-06 03C07 03C13 00B25 PDFBibTeX XMLCite \textit{J. Esparza} (ed.) et al., Finite and algorithmic model theory. Based on the workshop at the University of Durham, UK, January 9--13, 2006. Cambridge: Cambridge University Press (2011; Zbl 1213.03003)
Krajíček, Jan Forcing with random variables and proof complexity. (English) Zbl 1219.03071 London Mathematical Society Lecture Note Series 382. Cambridge: Cambridge University Press (ISBN 978-0-521-15433-8/pbk). xvi, 247 p. (2011). Reviewer: Emil Jeřábek (Praha) MSC: 03F20 03-02 03C62 03F30 68Q17 PDFBibTeX XMLCite \textit{J. Krajíček}, Forcing with random variables and proof complexity. Cambridge: Cambridge University Press (2011; Zbl 1219.03071)
Zilber, Boris Zariski geometries. Geometry from the logician’s point of view. (English) Zbl 1190.03034 London Mathematical Society Lecture Note Series 360. Cambridge: Cambridge University Press (ISBN 978-0-521-73560-5/pbk). ix, 212 p. (2010). Reviewer: Immanuel Halupczok (Münster) MSC: 03C60 03-02 03C65 03C98 14A99 PDFBibTeX XMLCite \textit{B. Zilber}, Zariski geometries. Geometry from the logician's point of view. Cambridge: Cambridge University Press (2010; Zbl 1190.03034)
Chatzidakis, Zoé (ed.); Macpherson, Dugald (ed.); Pillay, Anand (ed.); Wilkie, Alex (ed.) 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). MSC: 03-06 11-06 13-06 14-06 32-06 00B15 PDFBibTeX XMLCite \textit{Z. Chatzidakis} (ed.) et al., Model theory with applications to algebra and analysis. Vol. 2. Cambridge: Cambridge University Press (2008; Zbl 1152.03006)
Chatzidakis, Zoé (ed.); Macpherson, Dugald (ed.); Pillay, Anand (ed.); Wilkie, Alex (ed.) 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). MSC: 03-06 11-06 13-06 14-06 32-06 00B15 PDFBibTeX XMLCite \textit{Z. Chatzidakis} (ed.) et al., Model theory with applications to algebra and analysis. Vol. 1. Cambridge: Cambridge University Press (2008; Zbl 1144.03004)
Ehrhard, Thomas (ed.); Girard, Jean-Yves (ed.); Ruet, Paul (ed.); Scott, Philip (ed.) 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 \textit{T. Ehrhard} (ed.) et al., 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. Cambridge: Cambridge University Press (2004; Zbl 1051.03003)
Tent, Katrin Tits buildings and the model theory of groups. Papers of the workshop, Würzburg, Germany, September 2000. (English) Zbl 1012.00035 London Mathematical Society Lecture Note Series. 291. Cambridge: Cambridge University Press. x, 298 p. (2002). MSC: 00B25 20-06 03-06 PDFBibTeX XMLCite \textit{K. Tent}, Tits buildings and the model theory of groups. Papers of the workshop, Würzburg, Germany, September 2000. Cambridge: Cambridge University Press (2002; Zbl 1012.00035)
Finet, Catherine (ed.); Michaux, Christian (ed.) 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). MSC: 00B25 26-06 22-06 46-06 03-06 PDFBibTeX XMLCite \textit{C. Finet} (ed.) and \textit{C. Michaux} (ed.), Analysis and logic. Report on three minicourses given at the international conference ``Analyse et logique'', Mons, Belgium, August 25--29, 1997. Cambridge: Cambridge University Press (2002; Zbl 1012.00036)
Cooper, S. Barry (ed.); Truss, John K. (ed.) 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 \textit{S. B. Cooper} (ed.) and \textit{J. K. Truss} (ed.), Models and computability. Invited papers from the Logic colloquium '97, European meeting of the Association for Symbolic Logic, Leeds, UK, July 6--13, 1997. Cambridge: Cambridge University Press (1999; Zbl 0919.00039)
Cooper, S. Barry (ed.); Truss, John K. (ed.) 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 \textit{S. B. Cooper} (ed.) and \textit{J. K. Truss} (ed.), Sets and proofs. Invited papers from the Logic colloquium '97, European meeting of the Association for Symbolic Logic, Leeds, UK, July 6--13, 1997. Cambridge: Cambridge University Press (1999; Zbl 0919.00040)
van den Dries, Lou Tame topology and o-minimal structures. (English) Zbl 0953.03045 London Mathematical Society Lecture Note Series. 248. Cambridge: Cambridge University Press. x, 180 p. (1998). Reviewer: H.D.Macpherson (Leeds) MSC: 03C64 14P10 03-02 12L12 PDFBibTeX XMLCite \textit{L. van den Dries}, Tame topology and o-minimal structures. Cambridge: Cambridge University Press (1998; Zbl 0953.03045)
Wagner, Frank O. Stable groups. (English) Zbl 0897.03037 London Mathematical Society Lecture Note Series. 240. Cambridge: Cambridge University Press. ix, 309 p. (1997). Reviewer: O.V.Belegradek (Kemerovo) MSC: 03C60 03C45 20A15 20E07 20F22 03-02 20-02 PDFBibTeX XMLCite \textit{F. O. Wagner}, Stable groups. Cambridge: Cambridge University Press (1997; Zbl 0897.03037)
Evans, David M. (ed.) 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 \textit{D. M. Evans} (ed.), Model theory of groups and automorphism groups. Lectures held at the RESMOD summer school, Blaubeuren, Germany, July 31--August 5, 1995. Cambridge: Cambridge University Press (1997; Zbl 0867.00021)
Becker, Howard; Kechris, Alexander S. The descriptive set theory of Polish group actions. (English) Zbl 0949.54052 London Mathematical Society Lecture Note Series. 232. Cambridge: Cambridge University Press. xi, 136 p. (1996). Reviewer: Miroslav Repický (Košice) MSC: 54H05 03E15 54-02 03-02 28A05 54E50 54H11 PDFBibTeX XMLCite \textit{H. Becker} and \textit{A. S. Kechris}, The descriptive set theory of Polish group actions. Cambridge: Cambridge University Press (1996; Zbl 0949.54052)
Cooper, S. B. (ed.); Slaman, T. A. (ed.); Wainer, S. S. (ed.) Computability, enumerability, unsolvability. Directions in recursion theory. (English) Zbl 0830.00006 London Mathematical Society Lecture Note Series 224. Cambridge: Cambridge University Press. vii, 347 p. (1996). MSC: 00B15 03-06 PDFBibTeX XMLCite \textit{S. B. Cooper} (ed.) et al., Computability, enumerability, unsolvability. Directions in recursion theory. Cambridge: Cambridge University Press (1996; Zbl 0830.00006)
Girard, Jean-Yves (ed.); Lafont, Yves (ed.); Regnier, Laurent (ed.) 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 \textit{J.-Y. Girard} (ed.) et al., 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. Cambridge: Cambridge University Press (1995; Zbl 0816.00018)
Prest, Mike Model theory and modules. (English) Zbl 0634.03025 London Mathematical Society Lecture Note Series, 130. Cambridge etc.: Cambridge University Press. XVIII, 380 p.; £22.50; $ 37.50 (1988). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 03C60 08C10 13L05 03-02 13-02 13C10 13C11 13E10 03C45 PDFBibTeX XMLCite \textit{M. Prest}, Model theory and modules. Cambridge (UK) etc.: Cambridge University Press (1988; Zbl 0634.03025)
Dales, H. G.; Woodin, W. H. An introduction to independence for analysts. (English) Zbl 0629.03030 London Mathematical Society Lecture Note Series, 115. Cambridge etc.: Cambridge University Press. XIII, 241 p.; £15.00; $ 29.95 (1987). Reviewer: H.Nishimura MSC: 03E35 03E50 03E75 03-01 03E40 46J10 PDFBibTeX XML
Bridges, Douglas; Richman, Fred Varieties of constructive mathematics. (English) Zbl 0618.03032 London Mathematical Society Lecture Note Series, 97. Cambridge etc.: Cambridge University Press. X, 149 p.; £10.95; $ 19.95 (1987). Reviewer: B.v.Rootselaar MSC: 03F65 03-01 03-02 46S30 13E05 03F55 26E99 PDFBibTeX XML
Whitehead, C. (ed.) Surveys in combinatorics 1987. Invited papers for the Eleventh British Combinatorial Conference (held at the University of London Goldsmith’s College, July 13-17, 1987). (English) Zbl 0611.00003 London Mathematical Society Lecture Note Series, 123. Cambridge etc.: Cambridge University Press. VI, 226 p.; £15.00; $ 27.95 (1987). MSC: 00Bxx 05-06 01-06 03-06 PDFBibTeX XML
Mathias, A. R. D. (ed.) Surveys in set theory. (English) Zbl 0511.00004 London Mathematical Society Lecture Note Series, 87. Cambridge etc.: Cambridge University Press. VII, 247 p. £14.00; $ 27.50 (1983). MSC: 00Bxx 03-06 PDFBibTeX XML
Dodd, A. The core model. (English) Zbl 0474.03027 London Mathematical Society Lecture Note Series, 61. Cambridge etc.: Cambridge University Press. XXXVIII, 229 p. £12.50 (1982). MSC: 03E45 03E55 03-02 03E10 PDFBibTeX XML
Beller, A.; Jensen, R.; Welch, P. Coding the universe. (English) Zbl 0468.03031 London Mathematical Society Lecture Note Series, 47. Cambridge etc.: Cambridge University Press. III, 353 p. £17.50 (1982). MSC: 03E45 03E35 03-02 PDFBibTeX XML
Drake, F. R. (ed.); Wainer, S. S. (ed.) Recursion theory: its generalisations and applications. Proceedings of Logic Colloquium ’79, Leeds, August 1979. Ed. by F. R. Drake and S. S. Wainer. (English) Zbl 0431.00003 London Mathematical Society Lecture Note Series, 45. Cambridge etc.: Cambridge University Press. VI, 319 p. £10.00 (1980). MSC: 00Bxx 03-06 PDFBibTeX XML
Hindley, J. R.; Lercher, B.; Seldin, J. P. Introduction to combinatory logic. (English) Zbl 0269.02005 London Mathematical Society Lecture Note Series. 7. London: Cambridge University Press. 179 p. £2.00; $ 6.50 (1972). MSC: 03B40 03D99 03-01 PDFBibTeX XML