×

zbMATH — the first resource for mathematics

Found 155 Documents (Results 1–100)

100
MathJax
Kechris, Alexander S. (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). Lect. Notes Log. 43, 476-492 (2016).
MSC:  03D70 03D65 03E15
PDF BibTeX XML Cite
Full Text: DOI
Kechris, Alexander S. (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). Lect. Notes Log. 43, 390-423 (2016).
MSC:  03D75 03D70
PDF BibTeX XML Cite
Full Text: DOI
Kechris, Alexander S. (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). Lect. Notes Log. 43, 355-389 (2016).
MSC:  03D75 03D65 03D70
PDF BibTeX XML Cite
Full Text: DOI
Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-1-107-16816-9/hbk; 978-1-316-71707-3/ebook). xii, 225 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Kahle, Reinhard (ed.) et al., Gentzen’s centenary. The quest for consistency. Cham: Springer (ISBN 978-3-319-10102-6/pbk; 978-3-319-10103-3/ebook). 425-454 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Bauer, Andrej (ed.) et al., 6th international conference on computability and complexity in analysis (CCA’09). Proceedings of the international conference, August 18–22, 2009, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-12-5). OASIcs – OpenAccess Series in Informatics 11, 12 p., electronic only (2009).
PDF BibTeX XML Cite
Full Text: DOI
Dimitracopoulos, Costas (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) (ISBN 978-0-521-88425-9/hbk). Lecture Notes in Logic 28, 255-272 (2008).
MSC:  03E70 03E35 03D70
PDF BibTeX XML Cite
Beckert, Bernhard (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX 2005, Koblenz, Germany, September 14–17, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28931-3/pbk). Lecture Notes in Computer Science 3702. Lecture Notes in Artificial Intelligence, 78-92 (2005).
MSC:  03F07 03B35 03D70
PDF BibTeX XML Cite
Full Text: DOI
Cooper, S. Barry (ed.) et al., New computational paradigms. First conference on computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8–12, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26179-6/pbk). Lecture Notes in Computer Science 3526, 75-85 (2005).
MSC:  03D70 03D15 68N17
PDF BibTeX XML Cite
Full Text: DOI
Vardi, Moshe Y. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22–26, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20101-7/pbk). Lect. Notes Comput. Sci. 2850, 290-301 (2003).
MSC:  03C57 03D70
PDF BibTeX XML Cite
Fischbachtal: Harland media; München: Univ. München, Fakultät für Mathematik, Informatik und Statistik (Diss.) (ISBN 3-8330-1175-0/pbk ). viii, 72 p. (2003).
PDF BibTeX XML Cite
Münster: Univ. Münster, Fachbereich Mathematik und Informatik. vi, 136 p. (2002).
PDF BibTeX XML Cite
Caicedo, Xavier (ed.) et al., Models, algebras, and proofs. Selected papers of the X Latin American symposium on mathematical logic, Bogotá, Colombia, June 24–29, 1995. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 203, 119-134 (1999).
PDF BibTeX XML Cite
Dalla Chiara, Maria Luisa (ed.) et al., Logic and scientific methods. Volume one of the proceedings of the tenth international congress of logic, methodology and philosophy of science, Florence, Italy, August 19–25, 1995. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 259, 85-103 (1997).
PDF BibTeX XML Cite
Hankin, C. (ed.) et al., Theory and formal methods of computing 94. Proceedings of the second Imperial College workshop held in Cambridge, UK, September 11-14, 1994. Singapore: Imperial College Press (distrib. by World Scientific). 259-282 (1995).
PDF BibTeX XML Cite
Brewka, Gerhard (ed.) et al., Nonmonotonic and inductive logic. 2nd international workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 659, 209-240 (1993).
Reviewer: N.Curteanu (Iaşi)
MSC:  68T15 68T27 68T05 03D70 68Q15
PDF BibTeX XML Cite
Logical frameworks, Proc. 1st Annu. Workshop, Sophia-Antipolis/Fr. 1990, 365-384 (1991).
MSC:  03D70
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
all top 3
Software