×

zbMATH — the first resource for mathematics

Found 162 Documents (Results 1–100)

100
MathJax
Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 119-136 (2019).
MSC:  03B35 03E35 68V20
PDF BibTeX XML Cite
Full Text: DOI
Geschke, Stefan (ed.) et al., Infinity, computability and metamathematics. Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch. London: College Publications (ISBN 978-1-84890-130-8/hbk). 205-227 (2014).
MSC:  03E45 03E35 03E55
PDF BibTeX XML Cite
Full Text: arXiv
Crabbé, Marcel (ed.) et al., Proceedings of the 70th anniversary NF meeting in Cambridge. Commemorating the 70th year of the publication of Quine’s seminal paper “New foundations for mathematical logic”, Cambridge, UK, Mai 26–27, 2007. Louvain-la-Neuve: Academia-Bruylant (ISBN 978-2-87209-937-5/pbk). Cahiers du Centre de Logique 16, 89-98 (2009).
MSC:  03E10 03E25 03E70
PDF BibTeX XML Cite
Crabbé, Marcel (ed.) et al., Proceedings of the 70th anniversary NF meeting in Cambridge. Commemorating the 70th year of the publication of Quine’s seminal paper “New foundations for mathematical logic”, Cambridge, UK, Mai 26–27, 2007. Louvain-la-Neuve: Academia-Bruylant (ISBN 978-2-87209-937-5/pbk). Cahiers du Centre de Logique 16, 9-32 (2009).
MSC:  03E30 03E70
PDF BibTeX XML Cite
Izv. Math. 71, No. 2, 219-245 (2007); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 71, No. 2, 2-28 (2007).
MSC:  03C62 03E30 03E55
PDF BibTeX XML Cite
Full Text: DOI
Cahiers du Centre de Logique 13. Louvain-la-Neuve: Academia-Bruylant; Louvain-la-Neuve: Centre National de Recherches de Logique (ISBN 2-87209-750-3/pbk). 117 p. (2004).
PDF BibTeX XML Cite
Russ. Math. Surv. 58, No. 4, 782-783 (2003); translation from Usp. Mat. Nauk 58, No. 4, 143-144 (2003).
MSC:  03C62 03E10
PDF BibTeX XML Cite
Full Text: DOI
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, 25-50 (1999).
MSC:  03C62 03E35 03F30
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
Russ. Acad. Sci., Izv., Math. 44, No. 3, 571-600 (1995); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 58, No. 3, 140-168 (1994).
PDF BibTeX XML Cite
Full Text: DOI
AXIOMES. Paris: Masson. xv, 347 p. (1993).
PDF BibTeX XML Cite

Filter Results by …

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