Stephanou, Yannis A theory of truth. (English) Zbl 07732331 Lecture Notes in Logic 55. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-1-00-943718-9/hbk; 978-1-00-943714-1/ebook). xi, 345 p. (2024). MSC: 03-01 03A05 PDFBibTeX XMLCite \textit{Y. Stephanou}, A theory of truth. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (2024; Zbl 07732331) Full Text: DOI
Steel, John R. A comparison process for mouse pairs. (English) Zbl 1525.03002 Lecture Notes in Logic 51. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-1-108-84068-2/hbk; 978-1-108-88684-0/ebook). xii, 536 p. (2023). MSC: 03-02 03E45 03E55 03E60 PDFBibTeX XMLCite \textit{J. R. Steel}, A comparison process for mouse pairs. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (2023; Zbl 1525.03002) Full Text: DOI
Bodirsky, Manuel Complexity of infinite-domain constraint satisfaction. (English) Zbl 1495.68007 Lecture Notes in Logic 52. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-1-107-04284-1/hbk; 978-1-107-33753-4/ebook). xii, 524 p. (2021). Reviewer: Mark S. Burgin (Los Angeles) MSC: 68-02 03C35 03C98 05D10 08A70 68Q25 68R05 68R07 PDFBibTeX XMLCite \textit{M. Bodirsky}, Complexity of infinite-domain constraint satisfaction. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (2021; Zbl 1495.68007) Full Text: DOI
Kechris, Alexander S. (ed.); Löwe, Benedikt (ed.); Steel, John R. (ed.) Large cardinals, determinacy and other topics. The Cabal Seminar, Vol. IV. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. (English) Zbl 1465.03026 Lecture Notes in Logic 49. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-1-107-18299-8/hbk; 978-1-108-92022-3/4-vol. set). xv, 300 p. (2021). MSC: 03-06 03Exx 00B25 PDFBibTeX XMLCite \textit{A. S. Kechris} (ed.) et al., Large cardinals, determinacy and other topics. The Cabal Seminar, Vol. IV. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976--1985. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (2021; Zbl 1465.03026) Full Text: DOI
Franklin, Johanna N. Y. (ed.); Porter, Christopher P. (ed.) Algorithmic randomness. Progress and prospects. (English) Zbl 1512.03019 Lecture Notes in Logic 50. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-1-108-47898-4/hbk; 978-1-108-78171-8/ebook). x, 359 p. (2020). MSC: 03-06 03D32 68Q30 00B15 PDFBibTeX XMLCite \textit{J. N. Y. Franklin} (ed.) and \textit{C. P. Porter} (ed.), Algorithmic randomness. Progress and prospects. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (2020; Zbl 1512.03019) Full Text: DOI
Moschovakis, Yiannis N. Abstract recursion and intrinsic complexity. (English) Zbl 1412.03004 Lecture Notes in Logic 48. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-1-108-41558-3/hbk; 978-1-108-23423-8/ebook). vii, 243 p. (2019). Reviewer: Leon Harkleroad (Bowdoinham) MSC: 03-02 03D15 03D20 03D10 03D75 68-02 68Q17 68Q25 68Q05 68W40 PDFBibTeX XMLCite \textit{Y. N. Moschovakis}, Abstract recursion and intrinsic complexity. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (2019; Zbl 1412.03004) Full Text: DOI
Grohe, Martin Descriptive complexity, canonisation, and definable graph structure theory. (English) Zbl 06722029 Lecture Notes in Logic 47. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-1-107-01452-7/hbk; 978-1-139-02886-8/ebook). ix, 543 p. (2017). MSC: 68-02 03C13 03D15 05-02 05C60 05C75 05C83 68Q19 PDFBibTeX XMLCite \textit{M. Grohe}, Descriptive complexity, canonisation, and definable graph structure theory. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (2017; Zbl 06722029) Full Text: DOI
Shoenfield, Joseph R. Recursion theory. Reprint of the 1993 original. (English) Zbl 1366.03001 Lecture Notes in Logic 1. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-1-107-16808-4/hbk; 978-1-316-71701-1/ebook). vii, 84 p. (2016). MSC: 03-01 03-02 03Dxx PDFBibTeX XMLCite \textit{J. R. Shoenfield}, Recursion theory. Reprint of the 1993 original. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (2016; Zbl 1366.03001) Full Text: DOI
Marker, David Lectures on infinitary model theory. (English) Zbl 1356.03004 Lecture Notes in Logic 46. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-1-107-18193-9/hbk; 978-1-316-85556-0/ebook). viii, 183 p. (2016). Reviewer: Martin Weese (Potsdam) MSC: 03-02 03C75 03C60 03E15 PDFBibTeX XMLCite \textit{D. Marker}, Lectures on infinitary model theory. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (2016; Zbl 1356.03004) Full Text: DOI
Kechris, Alexander S. (ed.); Löwe, Benedikt (ed.); Steel, John R. (ed.) Ordinal definability and recursion theory. The Cabal Seminar, Vol. III. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. (English) Zbl 1350.03006 Lecture Notes in Logic 43. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-1-107-03340-5/hbk; 978-1-139-51969-4/ebook). xv, 535 p. (2016). MSC: 03-06 03D20 03E45 01A75 00B25 PDFBibTeX XMLCite \textit{A. S. Kechris} (ed.) et al., Ordinal definability and recursion theory. The Cabal Seminar, Vol. III. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976--1985. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (2016; Zbl 1350.03006) Full Text: DOI
Simon, Pierre A guide to NIP theories. (English) Zbl 1332.03001 Lecture Notes in Logic 44. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-1-107-05775-3/hbk; 978-1-107-66809-6/pbk; 978-1-107-41513-3/ebook). vii, 156 p. (2015). MSC: 03-02 03C45 03C68 PDFBibTeX XMLCite \textit{P. Simon}, A guide to NIP theories. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (2015; Zbl 1332.03001) Full Text: DOI arXiv
Downey, Rod (ed.) Turing’s legacy. Developments from Turing’s ideas in logic. (English) Zbl 1341.03002 Lecture Notes in Logic 42. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-1-107-04348-0/hbk; 978-1-107-63858-7/pbk; 978-1-107-33857-9/ebook). x, 529 p. (2014). MSC: 03-03 03D10 68-03 68Q05 01A70 01A60 00B15 PDFBibTeX XMLCite \textit{R. Downey} (ed.), Turing's legacy. Developments from Turing's ideas in logic. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (2014; Zbl 1341.03002) Full Text: DOI
Delon, Françoise (ed.); Kohlenbach, Ulrich (ed.); Maddy, Penelope (ed.); Stephan, Frank (ed.) Logic colloquium 2007. Proceedings of the European summer meeting of the Association for Symbolic Logic, Wrocław, Poland, July 14–19, 2007. Reprint of the 2010 hardback ed. (English) Zbl 1284.03017 Lecture Notes in Logic 35. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-1-107-69677-8/pbk; 978-0-511-77842-1/ebook). xiii, 267 p. (2014). MSC: 03-06 03Fxx 00B25 PDFBibTeX XMLCite \textit{F. Delon} (ed.) et al., Logic colloquium 2007. Proceedings of the European summer meeting of the Association for Symbolic Logic, Wrocław, Poland, July 14--19, 2007. Reprint of the 2010 hardback ed. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (2014; Zbl 1284.03017) Full Text: DOI
Feferman, Solomon (ed.); Parsons, Charles (ed.); Simpson, Stephen G. (ed.) Kurt Gödel. Essays for his centennial. Reprint of the 2010 hardback edition. (English) Zbl 1278.03019 Lecture Notes in Logic 33. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-1-107-68346-4/pbk; 978-0-511-74094-7/ebook). x, 373 p. (2013). MSC: 03-06 00A30 00B30 01A60 01A70 03-03 03A05 03Exx 03Fxx PDFBibTeX XMLCite \textit{S. Feferman} (ed.) et al., Kurt Gödel. Essays for his centennial. Reprint of the 2010 hardback edition. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (2013; Zbl 1278.03019)
Greenberg, Noam (ed.); Hamkins, Joel David (ed.); Hirschfeldt, Denis (ed.); Miller, Russell (ed.) Effective mathematics of the uncountable. (English) Zbl 1297.03006 Lecture Notes in Logic 41. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-1-107-01451-0/hbk; 978-1-139-02859-2/ebook). viii, 197 p. (2013). MSC: 03-06 03B30 03C57 03Dxx 03E15 00B25 PDFBibTeX XMLCite \textit{N. Greenberg} (ed.) et al., Effective mathematics of the uncountable. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (2013; Zbl 1297.03006) Full Text: DOI
Tent, Katrin; Ziegler, Martin A course in model theory. (English) Zbl 1245.03002 Lecture Notes in Logic 40. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-0-521-76324-0/hbk). x, 248 p. (2012). Reviewer: Tim Netzer (Leipzig) MSC: 03-01 03B10 03Cxx PDFBibTeX XMLCite \textit{K. Tent} and \textit{M. Ziegler}, A course in model theory. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (2012; Zbl 1245.03002)
Kechris, Alexander S. (ed.); Löwe, Benedikt (ed.); Steel, John R. (ed.) Wadge degrees and projective ordinals. The Cabal Seminar, Vol. II. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. (English) Zbl 1230.03010 Lecture Notes in Logic 37. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-0-521-76203-8/hbk). xxii, 526 p. (2012). MSC: 03-06 01A75 03-03 03Exx 00B25 PDFBibTeX XMLCite \textit{A. S. Kechris} (ed.) et al., Wadge degrees and projective ordinals. The Cabal Seminar, Vol. II. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976--1985. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (2012; Zbl 1230.03010)
Casanovas, Enrique Simple theories and hyperimaginaries. (English) Zbl 1243.03045 Lecture Notes in Logic 39. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-0-521-11955-9/hbk). xiv, 169 p. (2011). Reviewer: Frank Wagner (Villeurbanne) MSC: 03C45 03-02 PDFBibTeX XMLCite \textit{E. Casanovas}, Simple theories and hyperimaginaries. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (2011; Zbl 1243.03045)
Kennedy, Juliette (ed.); Kossak, Roman (ed.) Set theory, arithmetic, and foundations of mathematics. Theorems, philosophies. (English) Zbl 1222.03004 Lecture Notes in Logic 36. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-1-107-00804-5/hbk). xiii, 227 p. (2011). MSC: 03-06 00B15 03A05 03-03 01A60 03E20 PDFBibTeX XMLCite \textit{J. Kennedy} (ed.) and \textit{R. Kossak} (ed.), Set theory, arithmetic, and foundations of mathematics. Theorems, philosophies. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (2011; Zbl 1222.03004)
Goldblatt, Robert Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics. (English) Zbl 1270.03005 Lecture Notes in Logic 38. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-1-107-01052-9/hbk). xiii, 268 p. (2011). Reviewer: Emil Jeřábek (Praha) MSC: 03-02 03B45 03B47 PDFBibTeX XMLCite \textit{R. Goldblatt}, Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (2011; Zbl 1270.03005)
Haskell, Deirdre; Hrushovski, Ehud; Macpherson, Hugh Dugald Stable domination and independence in algebraically closed valued fields. Reprint of the 2008 hardback ed. (English) Zbl 1217.03026 Lecture Notes in Logic 30. Cambridge: Cambridge University Press (ISBN 978-0-521-33515-7/pbk; 978-0-511-36798-4/ebook). xi, 182 p. (2011). MSC: 03C98 03-02 12-02 03C45 03C60 12J10 12L12 PDFBibTeX XMLCite \textit{D. Haskell} et al., Stable domination and independence in algebraically closed valued fields. Reprint of the 2008 hardback ed. Cambridge: Cambridge University Press (2011; Zbl 1217.03026) Full Text: Link
Delon, Françoise (ed.); Kohlenbach, Ulrich (ed.); Maddy, Penelope (ed.); Stephan, Frank (ed.) Logic colloquium 2007. Proceedings of the European summer meeting of the Association for Symbolic Logic, Wrocław, Poland, July 14–19, 2007. (English) Zbl 1198.03005 Lecture Notes in Logic 35. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-0-521-76065-2/hbk). xiii, 267 p. (2010). MSC: 03-06 03Fxx 00B25 PDFBibTeX XMLCite \textit{F. Delon} (ed.) et al., Logic colloquium 2007. Proceedings of the European summer meeting of the Association for Symbolic Logic, Wrocław, Poland, July 14--19, 2007. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (2010; Zbl 1198.03005)
Feferman, Solomon (ed.); Parsons, Charles (ed.); Simpson, Stephen G. (ed.) Kurt Gödel. Essays for his centennial. (English) Zbl 1196.03006 Lecture Notes in Logic 33. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-0-521-11514-8/hbk). x, 373 p. (2010). MSC: 03-06 00A30 00B30 01A60 01A70 03-03 03A05 03Exx 03Fxx PDFBibTeX XMLCite \textit{S. Feferman} (ed.) et al., Kurt Gödel. Essays for his centennial. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (2010; Zbl 1196.03006)
Lerman, Manuel A framework for priority arguments. (English) Zbl 1203.03054 Lecture Notes in Logic 34. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-0-521-11969-6/hbk; 978-0-511-74095-4/ebook). xvi, 176 p. (2010). Reviewer: Jeffry L. Hirst (Boone) MSC: 03Dxx 03-02 03D25 PDFBibTeX XMLCite \textit{M. Lerman}, A framework for priority arguments. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (2010; Zbl 1203.03054)
Cooper, S. Barry (ed.); Geuvers, Herman (ed.); Pillay, Anand (ed.); Väänänen, Jouko (ed.) Logic colloquium 2006. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Nijmegen, Netherlands, July 27–August 2, 2006. (English) Zbl 1176.03001 Lecture Notes in Logic 32. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-0-521-11081-5/hbk). ix, 384 p. (2009). MSC: 03-06 00B25 PDFBibTeX XMLCite \textit{S. B. Cooper} (ed.) et al., Logic colloquium 2006. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Nijmegen, Netherlands, July 27--August 2, 2006. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (2009; Zbl 1176.03001)
Kechris, Alexander S. (ed.); Löwe, Benedikt (ed.); Steel, John R. (ed.) Games, scales, and Suslin cardinals. The Cabal Seminar, Vol. I. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976–1985. (English) Zbl 1149.03002 Lecture Notes in Logic 31. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-0-521-89951-2/hbk). xi, 445 p. (2008). MSC: 03-06 91-06 00B15 03E15 03E60 91A44 PDFBibTeX XMLCite \textit{A. S. Kechris} (ed.) et al., Games, scales, and Suslin cardinals. The Cabal Seminar, Vol. I. Reprints of papers and new material based on the Los Angeles Caltech-UCLA Logic Cabal Seminar 1976--1985. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (2008; Zbl 1149.03002)
Dimitracopoulos, Costas (ed.); Newelski, Ludomir (ed.); Normann, Dag (ed.); Steel, John R. (ed.) Logic colloquium 2005. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Athens, Greece, July 28–August 3, 2005. (English) Zbl 1131.03001 Lecture Notes in Logic 28. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-0-521-88425-9/hbk). xiii, 272 p. (2008). MSC: 03-06 00B25 PDFBibTeX XMLCite \textit{C. Dimitracopoulos} (ed.) et al., Logic colloquium 2005. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Athens, Greece, July 28--August 3, 2005. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (2008; Zbl 1131.03001)
Haskell, Deirdre; Hrushovski, Ehud; Macpherson, Hugh Dugald Stable domination and independence in algebraically closed valued fields. (English) Zbl 1149.03027 Lecture Notes in Logic 30. Cambridge: Cambridge University Press (ISBN 978-0-521-88981-0/hbk). xi, 182 p. (2008). Reviewer: Luc Bélair (Montréal) MSC: 03C98 03-02 12-02 03C45 03C60 12J10 12L12 PDFBibTeX XMLCite \textit{D. Haskell} et al., Stable domination and independence in algebraically closed valued fields. Cambridge: Cambridge University Press (2008; Zbl 1149.03027) Full Text: arXiv
Andretta, Alessandro (ed.); Kearnes, Keith (ed.); Zambella, Domenico (ed.) Logic colloquium 2004. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Torino, Italy, July 25–31, 2004. (English) Zbl 1129.03001 Lecture Notes in Logic 29. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ISBN 978-0-521-88424-2/hbk). xii, 220 p. (2008). MSC: 03-06 00B25 PDFBibTeX XMLCite \textit{A. Andretta} (ed.) et al., Logic colloquium 2004. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Torino, Italy, July 25--31, 2004. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (2008; Zbl 1129.03001)
Chatzidakis, Zoé (ed.); Koepke, Peter (ed.); Pohlers, Wolfram (ed.) Logic colloquium ’02. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL) and the Colloquium Logicum, Münster, Germany, August 3–11, 2002. (English) Zbl 1093.03003 Lecture Notes in Logic 27. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-300-7/hbk; 1-56881-301-5/pbk). viii, 359 p. (2006). MSC: 03-06 00B25 PDFBibTeX XMLCite \textit{Z. Chatzidakis} (ed.) et al., Logic colloquium '02. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL) and the Colloquium Logicum, Münster, Germany, August 3--11, 2002. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (2006; Zbl 1093.03003)
Enayat, Ali (ed.); Kalantari, Iraj (ed.); Moniri, Mojtaba (ed.) Logic in Tehran. Proceedings of the workshop and conference on logic, algebra and arithmetic, Tehran, Iran, October 18–22, 2003. (English) Zbl 1094.03004 Lecture Notes in Logic 26. Wellesley, MA: AK Peters (ISBN 1-56881-296-5/pbk; 1-56881-295-7/hbk). xvi, 341 p. (2006). MSC: 03-06 00B25 PDFBibTeX XMLCite \textit{A. Enayat} (ed.) et al., Logic in Tehran. Proceedings of the workshop and conference on logic, algebra and arithmetic, Tehran, Iran, October 18--22, 2003. Wellesley, MA: AK Peters (2006; Zbl 1094.03004)
Cutland, Nigel J. (ed.); Di Nasso, Mauro (ed.); Ross, David A. (ed.) Nonstandard methods and applications in mathematics. (English) Zbl 1083.03005 Lecture Notes in Logic 25. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-291-4/hbk; 1-56881-292-2/pbk). ix, 248 p. (2006). MSC: 03-06 03H05 00B25 PDFBibTeX XMLCite \textit{N. J. Cutland} (ed.) et al., Nonstandard methods and applications in mathematics. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (2006; Zbl 1083.03005)
Stoltenberg-Hansen, Viggo (ed.); Väänänen, Jouko (ed.) Logic colloquium ’03. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Helsinki, Finland, August 14–20, 2003. (English) Zbl 1083.03009 Lecture Notes in Logic 24. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-293-0/hbk; 1-56881-294-9/pbk). x, 408 p. (2006). MSC: 03-06 00B25 PDFBibTeX XMLCite \textit{V. Stoltenberg-Hansen} (ed.) and \textit{J. Väänänen} (ed.), Logic colloquium '03. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Helsinki, Finland, August 14--20, 2003. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (2006; Zbl 1083.03009)
Marker, David; Messmer, Margit; Pillay, Anand Model theory of fields. 2nd ed. (English) Zbl 1104.12006 Lecture Notes in Logic 5. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ISBN 1-56881-281-7/hbk; 1-56881-282-5/pbk). xi, 155 p. (2006). Reviewer: German Pestov (Tomsk) MSC: 12L12 03C60 03C10 12H05 03C45 PDFBibTeX XMLCite \textit{D. Marker} et al., Model theory of fields. 2nd ed. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (2006; Zbl 1104.12006)
Gilmore, Paul C. Logicism renewed. Logical foundations for mathematics and computer science. (English) Zbl 1093.03002 Lecture Notes in Logic 23. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-275-2/hbk; 1-56881-276-0/pbk). xvii, 230 p. (2005). Reviewer: Branislav Boričić (Beograd) MSC: 03-02 03A05 03B15 03B70 03F05 03F55 PDFBibTeX XMLCite \textit{P. C. Gilmore}, Logicism renewed. Logical foundations for mathematics and computer science. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (2005; Zbl 1093.03002)
Simpson, Stephen G. (ed.) Reverse mathematics 2001. (English) Zbl 1075.03002 Lecture Notes in Logic 21. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-263-9/hbk; 1-56881-264-7/pbk). x, 401 p. (2005). MSC: 03-06 00B15 PDFBibTeX XMLCite \textit{S. G. Simpson} (ed.), Reverse mathematics 2001. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (2005; Zbl 1075.03002)
Kahle, Reinhard (ed.) Intensionality. (English) Zbl 1075.03001 Lecture Notes in Logic 22. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-276-1/hbk; 1-56881-268-X/pbk). ix, 265 p. (2005). MSC: 03-06 00B15 PDFBibTeX XMLCite \textit{R. Kahle} (ed.), Intensionality. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (2005; Zbl 1075.03001)
Baaz, Matthias (ed.); Friedman, Sy-David (ed.); Krajíček, Jan (ed.) Logic colloquium ’01. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Vienna, Austria, August 6–11, 2001. (English) Zbl 1068.03005 Lecture Notes in Logic 20. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ISBN 1-56881-247-7/hbk; 1-56881-248-5/pbk). viii, 486 p. (2005). MSC: 03-06 00B25 PDFBibTeX XMLCite \textit{M. Baaz} (ed.) et al., Logic colloquium '01. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Vienna, Austria, August 6--11, 2001. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (2005; Zbl 1068.03005)
Cori, René (ed.); Razborov, Alexander (ed.); Todorčević, Stevo (ed.); Wood, Carol (ed.) Logic colloquium 2000. Proceedings of the annual European summer meeting of the Association for Symbolic Logic, Paris, France, July 23–31, 2000. (English) Zbl 1064.03003 Lecture Notes in Logic 19. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ISBN 1-56881-251-5/hbk; 1-56881-252-3/hbk). xi, 408 p. (2005). MSC: 03-06 00B25 PDFBibTeX XMLCite \textit{R. Cori} (ed.) et al., Logic colloquium 2000. Proceedings of the annual European summer meeting of the Association for Symbolic Logic, Paris, France, July 23--31, 2000. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (2005; Zbl 1064.03003)
Cholak, Peter (ed.) The Notre Dame lectures. (English) Zbl 1064.03002 Lecture Notes in Logic 18. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ISBN 1-56881-249-3/hbk; 1-56881-250-7/pbk). vii, 185 p. (2005). MSC: 03-06 00B15 PDFBibTeX XMLCite \textit{P. Cholak} (ed.), The Notre Dame lectures. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (2005; Zbl 1064.03002)
Franzén, Torkel Inexhaustibility: A non-exhaustive treatment. (English) Zbl 1094.03001 Lecture Notes in Logic 16. Wellesley: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-174-8/hbk; 1-56881-175-6/pbk). xi, 251 p. (2004). Reviewer: G. E. Mints (Stanford) MSC: 03-01 03Fxx 00A30 PDFBibTeX XMLCite \textit{T. Franzén}, Inexhaustibility: A non-exhaustive treatment. Wellesley: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (2004; Zbl 1094.03001)
van Eijck, Jan (ed.); van Oostrom, Vincent (ed.); Visser, Albert (ed.) Logic colloquium ’99. Proceedings of the annual European summer meeting of the Association for Symbolic Logic, Utrecht, Netherlands, August 1–6, 1999. (English) Zbl 1050.03004 Lecture Notes in Logic 17. Natick, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ISBN 1-56881-203-5/pbk; 1-56881-199-3/hbk). viii, 208 p. (2004). MSC: 03-06 00B25 PDFBibTeX XMLCite \textit{J. van Eijck} (ed.) et al., Logic colloquium '99. Proceedings of the annual European summer meeting of the Association for Symbolic Logic, Utrecht, Netherlands, August 1--6, 1999. Natick, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (2004; Zbl 1050.03004)
Lindström, Per Aspects of incompleteness. 2nd ed. (English) Zbl 1036.03002 Lecture Notes in Logic 10. Natick, MA: Association for Symbolic Logic (ISBN 1-56881-173-X/pbk). x, 163 p. (2003). Reviewer: Volker Halbach (Marburg) MSC: 03-02 03F30 03F40 PDFBibTeX XMLCite \textit{P. Lindström}, Aspects of incompleteness. 2nd ed. Natick, MA: Association for Symbolic Logic (2003; Zbl 1036.03002)
Fajardo, Sergio; Keisler, H. Jerome Model theory of stochastic processes. (English) Zbl 1020.60020 Lecture Notes in Logic. 14. Urbana, IL: Association for Symbolic Logic. Natick, MA: A K Peters, xii, 136 p. (2002). Reviewer: G.Pestov (Tomsk) MSC: 60G07 60-02 03B48 03C98 03H05 03-02 PDFBibTeX XMLCite \textit{S. Fajardo} and \textit{H. J. Keisler}, Model theory of stochastic processes. Urbana, IL: Association for Symbolic Logic; Natick, MA: A K Peters (2002; Zbl 1020.60020)
Sieg, Wilfried (ed.); Sommer, Richard (ed.); Talcott, Carolyn (ed.) Reflections on the foundations of mathematics. Essays in honor of Solomon Feferman. (English) Zbl 1001.00020 Lecture Notes in Logic. 15. Natick, MA: A K Peters. viii, 444 p. (2002). MSC: 00B25 03-06 PDFBibTeX XMLCite \textit{W. Sieg} (ed.) et al., Reflections on the foundations of mathematics. Essays in honor of Solomon Feferman. Natick, MA: A K Peters (2002; Zbl 1001.00020)
Oikkonen, Juha (ed.); Väänänen, Jouko (ed.) Logic colloquium ’90. Proceedings of the annual European summer meeting of the Association for Symbolic Logic, Helsinki, Finland, July 15–22, 1990. Reprint of the 1993 original. (English) Zbl 0961.03004 Lecture Notes in Logic. 2. Urbana, IL: Association for Symbolic Logic. Natick, MA: A K Peters, Ltd. ix, 305 p. (2001). MSC: 03-06 00B25 PDFBibTeX XMLCite \textit{J. Oikkonen} (ed.) and \textit{J. Väänänen} (ed.), Logic colloquium '90. Proceedings of the annual European summer meeting of the Association for Symbolic Logic, Helsinki, Finland, July 15--22, 1990. Reprint of the 1993 original. Urbana, IL: Association for Symbolic Logic; Natick, MA: A K Peters, Ltd. (2001; Zbl 0961.03004)
Hájek, Petr (ed.) Gödel ’96. Logical foundations of mathematics, computer science and physics – Kurt Gödel’s legacy. Proceedings of a conference, Brno, Czech Republic, August 1996. Reprint of the 1996 original. (English) Zbl 0961.03005 Lecture Notes in Logic. 6. Urbana, IL: Association for Symbolic Logic. Natick, MA: A K Peters, Ltd. viii, 322 p. (2001). MSC: 03-06 00B25 PDFBibTeX XMLCite \textit{P. Hájek} (ed.), Gödel '96. Logical foundations of mathematics, computer science and physics -- Kurt Gödel's legacy. Proceedings of a conference, Brno, Czech Republic, August 1996. Reprint of the 1996 original. Urbana, IL: Association for Symbolic Logic; Natick, MA: A K Peters, Ltd. (2001; Zbl 0961.03005)
Shoenfield, Joseph R. Recursion theory. Reprint of the 1993 original. (English) Zbl 0962.03028 Lecture Notes in Logic. 1. Natick, MA: Association for Symbolic Logic. 84 p. (2001). MSC: 03Dxx 03-02 03-01 PDFBibTeX XMLCite \textit{J. R. Shoenfield}, Recursion theory. Reprint of the 1993 original. Natick, MA: Association for Symbolic Logic (2001; Zbl 0962.03028)
Buss, Samuel R. (ed.); Hájek, Petr (ed.); Pudlák, Pavel (ed.) Logic colloquium ’98. Proceedings of the annual European summer meeting of the Association for Symbolic Logic, Prague, Czech Republic, August 9–15, 1998. (English) Zbl 0932.00038 Lecture Notes in Logic. 13. Natick, MA: A K Peters, Ltd. xv, 541 p. (2000). MSC: 00B25 03-06 PDFBibTeX XMLCite \textit{S. R. Buss} (ed.) et al., Logic colloquium '98. Proceedings of the annual European summer meeting of the Association for Symbolic Logic, Prague, Czech Republic, August 9--15, 1998. Natick, MA: A K Peters, Ltd. (2000; Zbl 0932.00038)
Larrazabal, J. M. (ed.); Lascar, D. (ed.); Mints, G. (ed.) Logic colloquium ’96. Proceedings of the colloquium, San Sebastián, Spain, July 9–15, 1996. (English) Zbl 0893.00029 Lecture Notes in Logic. 12. Berlin: Springer. vii, 261 p. (1998). MSC: 00B25 03-06 PDFBibTeX XMLCite \textit{J. M. Larrazabal} (ed.) et al., Logic colloquium '96. Proceedings of the colloquium, San Sebastián, Spain, July 9--15, 1996. Berlin: Springer (1998; Zbl 0893.00029)
Makowsky, Johann A. (ed.); Ravve, Elena V. (ed.) Logic colloquium ’95. Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9–18, 1995. (English) Zbl 0884.00035 Lecture Notes in Logic. 11. Berlin: Springer. xvi, 348 p. (1998). MSC: 00B25 03-06 PDFBibTeX XMLCite \textit{J. A. Makowsky} (ed.) and \textit{E. V. Ravve} (ed.), Logic colloquium '95. Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9--18, 1995. Berlin: Springer (1998; Zbl 0884.00035)
Otto, Martin Bounded variable logics and counting: a study in finite models. (English) Zbl 0869.03018 Lecture Notes in Logic. 9. Berlin: Springer. ix, 183 p. (1997). Reviewer: G.L.McColm (Tampa) MSC: 03C13 03-02 03C75 03C80 03D15 68Q15 68Q25 PDFBibTeX XMLCite \textit{M. Otto}, Bounded variable logics and counting: a study in finite models. Berlin: Springer (1997; Zbl 0869.03018)
Lindström, Per Aspects of incompleteness. (English) Zbl 0882.03054 Lecture Notes in Logic. 10. Berlin: Springer. x, 132 p. (1997). Reviewer: F.G.Asenjo (Pittsburgh) MSC: 03F30 03F40 03-02 PDFBibTeX XMLCite \textit{P. Lindström}, Aspects of incompleteness. Berlin: Springer (1997; Zbl 0882.03054)
Steel, John R. The core model iterability problem. (English) Zbl 0864.03035 Lecture Notes in Logic. 8. Berlin: Springer. v, 112 p. (1996). Reviewer: J.M.Plotkin (East Lansing) MSC: 03E45 03E55 03-02 03E10 03E15 PDFBibTeX XMLCite \textit{J. R. Steel}, The core model iterability problem. Berlin: Springer (1996; Zbl 0864.03035)
Font, Josep M.; Jansana, Ramon A general algebraic semantics for sentential logics. (English) Zbl 0865.03054 Lecture Notes in Logic. 7. Berlin: Springer. vi, 135 p. (1996). Reviewer: L.Esakia (Tbilisi) MSC: 03G99 03B22 03-02 PDFBibTeX XMLCite \textit{J. M. Font} and \textit{R. Jansana}, A general algebraic semantics for sentential logics. Berlin: Springer (1996; Zbl 0865.03054)
Hájek, Petr (ed.) Gödel ’96. Logical foundations of mathematics, computer science and physics – Kurt Gödel’s legacy. Proceedings of a conference, Brno, Czech Republic, August 1996. (English) Zbl 0844.00017 Lecture Notes in Logic. 6. Berlin: Springer-Verlag. viii, 322 p. (1996). MSC: 00B25 03-06 PDFBibTeX XMLCite \textit{P. Hájek} (ed.), Gödel '96. Logical foundations of mathematics, computer science and physics -- Kurt Gödel's legacy. Proceedings of a conference, Brno, Czech Republic, August 1996. Berlin: Springer-Verlag (1996; Zbl 0844.00017)
Marker, D.; Messmer, M.; Pillay, A. Model theory of fields. (English) Zbl 0911.12005 Lecture Notes in Logic. 5. Berlin: Springer-Verlag. ix, 154 p. (1996). Reviewer: Salma Kuhlmann (Saskatoon) MSC: 12L12 12-02 03-02 03C60 03C10 12H05 03C45 PDFBibTeX XMLCite \textit{D. Marker} et al., Model theory of fields. Berlin: Springer-Verlag (1996; Zbl 0911.12005)
Miller, Arnold W. Descriptive set theory and forcing. How to prove theorems about Borel sets the hard way. (English) Zbl 0835.03012 Lecture Notes in Logic. 4. Berlin: Springer-Verlag. 130 p. (1995). Reviewer: M.Repický (Košice) MSC: 03E15 03-02 03-01 03E35 03E50 03E45 PDFBibTeX XMLCite \textit{A. W. Miller}, Descriptive set theory and forcing. How to prove theorems about Borel sets the hard way. Berlin: Springer-Verlag (1995; Zbl 0835.03012) Full Text: arXiv
Mitchell, William J.; Steel, John R. Fine structure and iteration trees. (English) Zbl 0805.03042 Lecture Notes in Logic. 3. Berlin: Springer-Verlag. v, 130 p. DM 48.00; öS 374.40; sFr 48.00 /sc (1994). Reviewer: A.M.Coyne (Asheville) MSC: 03E45 03E55 03-02 PDFBibTeX XMLCite \textit{W. J. Mitchell} and \textit{J. R. Steel}, Fine structure and iteration trees. Berlin: Springer (1994; Zbl 0805.03042)
Oikkonen, Juha Markku Robert (ed.); Väänänen, Jouko Antero (ed.) Logic colloquium ’90. ASL summer meeting in Helsinki, Finland from July 15 to July 22, 1990. (English) Zbl 0782.00083 Lecture Notes in Logic. 2. Berlin: Springer-Verlag. viii, 305 p. (1993). MSC: 00B25 03-06 PDFBibTeX XMLCite \textit{J. M. R. Oikkonen} (ed.) and \textit{J. A. Väänänen} (ed.), Logic colloquium '90. ASL summer meeting in Helsinki, Finland from July 15 to July 22, 1990. Berlin: Springer-Verlag (1993; Zbl 0782.00083)
Shoenfield, Joseph R. Recursion theory. (English) Zbl 0789.03039 Lecture Notes in Logic. 1. Berlin: Springer-Verlag. vii, 84 p. (1993). Reviewer: L.Harkleroad (Ithaca) MSC: 03Dxx 03-02 03-01 PDFBibTeX XMLCite \textit{J. R. Shoenfield}, Recursion theory. Berlin: Springer-Verlag (1993; Zbl 0789.03039)