×

zbMATH — the first resource for mathematics

Found 202 Documents (Results 1–100)

100
MathJax
Cégielski, Patrick (ed.) et al., New studies in weak arithmetics. Stanford, CA: CSLI Publications; Paris: Presses Universitaires du Pôle de Recherche et d’Enseignement Supérieur Paris-Est. CSLI Lect. Notes 211, 115-147 (2013).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society. 448-457 (2013).
Reviewer: Reviewer (Berlin)
MSC:  03B16 03C25 03D05
PDF BibTeX XML Cite
Full Text: DOI
Mineola, NY: Dover Publications (ISBN 978-0-486-45017-9). vi, 311 p. (2006).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Hájek, Petr (ed.) et al., Logic, methodology and philosophy of science. Proceedings of the 12th international congress, Oviedo, Spain, August 2003. London: King’s College Publications (ISBN 1-904987-21-4/pbk). 79-89 (2005).
MSC:  03C35 03C25
PDF BibTeX XML Cite
Russ. Math. 39, No. 2, 57-68 (1995); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 1995, No. 2(393), 60-71 (1995).
MSC:  93B03 03C25 93C05
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
Software