×

Found 149 Documents (Results 1–100)

A model-theoretic approach to proof theory. Edited by Zofia Adamowicz, Teresa Bigorajska and Konrad Zdanowski. (English) Zbl 1471.03001

Trends in Logic – Studia Logica Library 51. Cham: Springer (ISBN 978-3-030-28920-1/hbk; 978-3-030-28921-8/ebook). xiv, 109 p. (2019).
PDFBibTeX XMLCite
Full Text: DOI

Design patterns for mathematical proofs. A guide, in particular for computer scientists. (Design Patterns für mathematische Beweise. Ein Leitfaden insbesondere für Informatiker.) (German) Zbl 1392.68003

Berlin: Springer Vieweg (ISBN 978-3-662-55651-1/pbk; 978-3-662-55652-8/ebook). xi, 184 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI

On summability, multipliability, and integrability. (English) Zbl 1367.40007

Dutta, Hemen (ed.) et al., Current topics in summability theory and applications. Singapore: Springer (ISBN 978-981-10-0912-9/hbk; 978-981-10-0913-6/ebook). 181-239 (2016).
PDFBibTeX XMLCite
Full Text: DOI

Countable spectrum, transfinite induction and stability. (English) Zbl 1338.47044

Arendt, Wolfgang (ed.) et al., Operator semigroups meet complex analysis, harmonic analysis and mathematical physics. Proceedings of the conference, Herrnhut, Germany, June 3–7, 2013. Cham: Birkhäuser/Springer (ISBN 978-3-319-18493-7/hbk; 978-3-319-18494-4/ebook). Operator Theory: Advances and Applications 250, 31-48 (2015).
MSC:  47D06 44A10 40E05
PDFBibTeX XMLCite
Full Text: DOI

Gentzen’s consistency proofs for arithmetic. (English) Zbl 1267.03002

Peliš, Michal (ed.), The Logica yearbook 2009. Selected papers of the annual international symposium Logica, Hejnice Monastery, Czech Republic, June 22–26, 2009. London: College Publications (ISBN 978-1-84890-009-7/pbk). 109-119 (2010).
PDFBibTeX XMLCite

Introduction to set theory. The set theory of Georg Cantor and its axiomatization by Ernst Zermelo. 3rd revised ed. (Einführung in die Mengenlehre. Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo.) (German) Zbl 1180.03001

Springer-Lehrbuch. Berlin: Springer (ISBN 978-3-642-01444-4/pbk). 551 p. (2010).
PDFBibTeX XMLCite

Pathological hypercyclic operators. II. (English) Zbl 1142.47011

Randrianantoanina, Beata (ed.) et al., Banach spaces and their applications in analysis. Proceedings of the international conference, Miami University, Oxford, OH, USA, May 22–27, 2006. In honor of Nigel Kalton’s 60th birthday. Berlin: Walter de Gruyter (ISBN 978-3-11-019449-4/hbk). 403-411 (2007).
MSC:  47A16 47B37 47B99
PDFBibTeX XMLCite

Introduction to set theory. The set theory of Georg Cantor and its axiomatization by Ernst Zermelo. 2., verbesserte und erw. Aufl. (Einführung in die Mengenlehre. Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo.) (German) Zbl 1042.03001

Springer-Lehrbuch. Berlin: Springer (ISBN 3-540-20401-6/pbk). 551 S. (2004).
PDFBibTeX XMLCite

Introduction to set theory. The set theory of Georg Cantor and its axiomatization by Ernst Zermelo. (Einführung in die Mengenlehre. Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo.) (German) Zbl 0988.03004

Springer-Lehrbuch. Berlin: Springer. 336 S. (2002).
PDFBibTeX XMLCite

Modified realizability for TRDB. (English) Zbl 1023.03057

Nehaniv, Chrystopher L. (ed.) et al., Algebraic engineering. Proceedings of the international workshop on formal languages and computer systems, Kyoto, Japan, March 18-21, 1997 and proceedings of the first international conference on semigroups and algebraic engineering held in Aizu, Japan, March 24-28, 1997. Singapore: World Scientific. 186-200 (1999).
MSC:  03F30
PDFBibTeX XMLCite

An introduction to well-ordering proofs in Martin-Löf’s type theory. (English) Zbl 0930.03092

Sambin, Giovanni (ed.) et al., Twenty-five years of constructive type theory. Proceedings of a congress, Venice, Italy, Ocober 19–21, 1995. Oxford: Clarendon Press. Oxf. Logic Guides. 36, 245-263 (1998).
MSC:  03F35 03F15
PDFBibTeX XMLCite

Transfinite induction or transfinite recursion or the axiom of replacement. (English) Zbl 0936.54037

Hanna, Alan (ed.), Proceedings of the 1st summer Galway topology colloquium, Galway, Ireland, July 1997. North Bay, ON: Topology Atlas, 12 p. (1997).
Reviewer: A.Dow (North York)
MSC:  54G15 54G20
PDFBibTeX XMLCite
Full Text: Link

Set theory in topology. (English) Zbl 0796.54001

Hušek, Miroslav (ed.) et al., Recent progress in general topology. Papers from the Prague Toposym 1991, held in Prague, Czechoslovakia, Aug. 19-23, 1991. Amsterdam: North-Holland. 167-197 (1992).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field