×

Found 61 Documents (Results 1–61)

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite

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).
MSC:  03-02 03B45 03B47
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite
Full Text: Link

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

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).
PDFBibTeX XMLCite

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).
MSC:  03Dxx 03-02 03D25
PDFBibTeX XMLCite

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

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).
PDFBibTeX XMLCite

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

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).
PDFBibTeX XMLCite
Full Text: arXiv

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

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

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

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

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

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).
PDFBibTeX XMLCite

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).
MSC:  03-02 03A05 03B15 03B70 03F05 03F55
PDFBibTeX XMLCite

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

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

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

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

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

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

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

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

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

Filter Results by …

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

Software