×

zbMATH — the first resource for mathematics

Found 179 Documents (Results 1–100)

100
MathJax
Brattka, Vasco (ed.) et al., Logic, computation, hierarchies. Dedicated to Victor L. Selivanov on the occasion of his 60th birthday. Berlin: De Gruyter (ISBN 978-1-61451-783-2/hbk; 978-1-61451-804-4/ebook). Ontos Mathematical Logic 4, 157-163 (2014).
PDF BibTeX XML Cite
Tributes 23. London: College Publications (ISBN 978-1-84890-130-8/hbk). xxii, 329 p. (2014).
PDF BibTeX XML Cite
Bonizzoni, Paola (ed.) et al., The nature of computation. Logic, algorithms, applications. 9th conference on computability in Europe, CiE 2013, Milan, Italy, July 1–5, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7921, 161-170 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Russ. Math. 54, No. 12, 51-58 (2010); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2010, No. 12, 58-66 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Schindler, Ralf (ed.), Ways of proof theory. Collected papers by speakers of the colloquium and workshop held on the occasion of the retirement of Wolfram Pohlers, July 17–19, 2008, Münster, Germany. Frankfurt am Main: Ontos Verlag (ISBN 978-3-86838-087-3/hbk). Ontos Mathematical Logic 2, 363-439 (2010).
MSC:  03F35 03F15
PDF BibTeX XML Cite
Ambos-Spies, Klaus (ed.) et al., Mathematical theory and computational practice. 5th conference on computability in Europe, CiE 2009, Heidelberg, Germany, July 19–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03072-7/pbk). Lecture Notes in Computer Science 5635, 280-289 (2009).
MSC:  03D60 03D10
PDF BibTeX XML Cite
Full Text: DOI
Cooper, S. Barry (ed.) et al., Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18–23, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73000-2/pbk). Lecture Notes in Computer Science 4497, 488-496 (2007).
MSC:  03D60 03D10 03D55
PDF BibTeX XML Cite
Full Text: DOI
Cooper, S. Barry (ed.) et al., Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18–23, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73000-2/pbk). Lecture Notes in Computer Science 4497, 358-367 (2007).
MSC:  03D60 03D10
PDF BibTeX XML Cite
Full Text: DOI
Link, Godehard (ed.), One hundred years of Russell’s paradox. Mathematics, logic, philosophy. Based on the Munich centenary conference, Munich, Germany, June 2001 . Berlin: de Gruyter (ISBN 3-11-017438-3/hbk). de Gruyter Series in Logic and Its Applications 6, 119-134 (2004).
MSC:  03E70 03F15 03F35
PDF BibTeX XML Cite
Münster: Univ. Münster, Fachbereich Mathematik und Informatik. vi, 136 p. (2002).
PDF BibTeX XML Cite
Cambridge Tracts in Theoretical Computer Science. 51. Cambridge: Cambridge University Press. xxv, 384 p. (2000).
PDF BibTeX XML Cite
Cooper, S. Barry (ed.) et al., 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. Lond. Math. Soc. Lect. Note Ser. 258, 425-436 (1999).
PDF BibTeX XML Cite
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. Berlin: Springer-Verlag. Lect. Notes Log. 6, 3-22 (1996).
PDF BibTeX XML Cite
Prawitz, D. (ed.) et al., Logic, methodology and philosophy of science IX. Proceedings of the ninth international congress of logic, methodology and philosophy of science, Uppsala, Sweden, August 7-14, 1991. Amsterdam: North-Holland. Stud. Logic Found. Math. 134, 123-147 (1994).
PDF BibTeX XML Cite
Aczel, Peter (ed.) et al., Proof theory. A selection of papers from the Leeds proof theory programme, an international summer school and conference on proof theory, held at the Leeds University, UK, from July 24-August 2, 1990. Cambridge: Cambridge University Press. 253-273 (1992).
PDF BibTeX XML Cite
Aczel, Peter (ed.) et al., Proof theory. A selection of papers from the Leeds proof theory programme, an international summer school and conference on proof theory, held at the Leeds University, UK, from July 24-August 2, 1990. Cambridge: Cambridge University Press. 117-147 (1992).
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
Biographic Reference