Volume 16 (2008): Issue 1 (Mar 2008)

Open Access

Journal detailsArticles & issues

Formalized Mathematics

Previous issue

Next issue

All volumes and issues in this journal

Issue 1 (June 2026)

[data-slot="accordion-content"] { display: none !important; }

Issue 1 (September 2025)

[data-slot="accordion-content"] { display: none !important; }

Issue 1 (August 2024)

[data-slot="accordion-content"] { display: none !important; }

Issue 1 (September 2023)

[data-slot="accordion-content"] { display: none !important; }

Issue 4 (December 2022)

Issue 3 (October 2022)

Issue 2 (July 2022)

Issue 1 (April 2022)

[data-slot="accordion-content"] { display: none !important; }

Issue 4 (December 2021)

Issue 3 (October 2021)

Issue 2 (July 2021)

Issue 1 (April 2021)

[data-slot="accordion-content"] { display: none !important; }

Issue 4 (December 2020)

Issue 3 (October 2020)

Issue 2 (July 2020)

Issue 1 (April 2020)

[data-slot="accordion-content"] { display: none !important; }

Issue 4 (December 2019)

Issue 3 (October 2019)

Issue 2 (July 2019)

Issue 1 (April 2019)

[data-slot="accordion-content"] { display: none !important; }

Issue 4 (December 2018)

Issue 3 (October 2018)

Issue 2 (July 2018)

Issue 1 (April 2018)

[data-slot="accordion-content"] { display: none !important; }

Issue 4 (December 2017)

Issue 3 (October 2017)

Issue 2 (July 2017)

Issue 1 (March 2017)

[data-slot="accordion-content"] { display: none !important; }

Issue 4 (December 2016)

Issue 3 (September 2016)

Issue 2 (June 2016)

Issue 1 (March 2016)

[data-slot="accordion-content"] { display: none !important; }

Issue 4 (December 2015)

Issue 3 (September 2015)

Issue 2 (June 2015)

Issue 1 (March 2015)

[data-slot="accordion-content"] { display: none !important; }

Issue 4 (December 2014)

Issue 3 (September 2014)

Issue 2 (June 2014) - Special Issue: 25 years of the Mizar Mathematical Library

Issue 1 (March 2014)

[data-slot="accordion-content"] { display: none !important; }

Issue 4 (December 2013)

Issue 3 (October 2013)

Issue 2 (June 2013)

Issue 1 (January 2013)

[data-slot="accordion-content"] { display: none !important; }

Issue 4 (December 2012)

Issue 3 (September 2012)

Issue 2 (June 2012)

Issue 1 (January 2012)

[data-slot="accordion-content"] { display: none !important; }

Issue 4 (December 2011)

Issue 3 (September 2011)

Issue 2 (June 2011)

Issue 1 (March 2011)

[data-slot="accordion-content"] { display: none !important; }

Issue 4 (December 2010)

Issue 3 (September 2010)

Issue 2 (June 2010)

Issue 1 (March 2010)

[data-slot="accordion-content"] { display: none !important; }

Issue 4 (December 2009)

Issue 3 (September 2009)

Issue 2 (June 2009)

Issue 1 (March 2009)

[data-slot="accordion-content"] { display: none !important; }

Issue 4 (December 2008)

Issue 3 (September 2008)

Issue 2 (June 2008)

Issue 1 (March 2008)

Issue 4 (December 2008)

Issue 3 (September 2008)

Issue 2 (June 2008)

Issue 1 (March 2008)

[data-slot="accordion-content"] { display: none !important; }

Issue 4 (December 2007)

Issue 3 (September 2007)

Issue 2 (June 2007)

Issue 1 (March 2007)

[data-slot="accordion-content"] { display: none !important; }

Issue 4 (December 2006)

Issue 3 (September 2006)

Issue 2 (June 2006)

Issue 1 (March 2006)

[data-slot="accordion-content"] { display: none !important; }

12 articles

Open Access

|Mar 2009

The Vector Space of Subsets of a Set Based on Symmetric Difference

Jesse Alama

Open Access

|Mar 2009

Euler's Polyhedron Formula

Jesse Alama

Open Access

|Mar 2009

Uniform Boundedness Principle

Hideki Sakurai, Hisayoshi Kunimune and Yasunari Shidama

Open Access

|Mar 2009

Gauss Lemma and Law of Quadratic Reciprocity

Li Yan, Xiquan Liang and Junjie Zhao

Open Access

|Mar 2009

Regular Expression Quantifiers - at least m Occurrences

Michał Trybulec

Open Access

|Mar 2009

Complete Spaces

Karol Pąk

Open Access

|Mar 2009

Difference and Difference Quotient. Part II

Bo Li, Yanping Zhuang and Xiquan Liang

Open Access

|Mar 2009

The First Mean Value Theorem for Integrals

Keiko Narita, Noboru Endou and Yasunari Shidama

Open Access

|Mar 2009

Egoroff's Theorem

Noboru Endou, Yasunari Shidama and Keiko Narita

Open Access

|Mar 2009

BCI-algebras with Condition (S) and their Properties

Tao Sun, Junjie Zhao and Xiquan Liang

eISSN: 1898-9934|ISSN: 1426-2630|Language: English

Published by: University of Białystok

In partnership with: Paradigm Publishing Services

Related subjects:

Computer sciences,

Artificial intelligence,

Computer sciences, other,

Mathematics,

Logic and set theory,

General mathematics

Journal RSS Feed

Volume 16 (2008): Issue 1 (Mar 2008)

All volumes and issues in this journal

Volume 34 (2026)

Volume 33 (2025)

Volume 32 (2024)

Volume 31 (2023)

Volume 30 (2022)

Volume 29 (2021)

Volume 28 (2020)

Volume 27 (2019)

Volume 26 (2018)

Volume 25 (2017)

Volume 24 (2016)

Volume 23 (2015)

Volume 22 (2014)

Volume 21 (2013)

Volume 20 (2012)

Volume 19 (2011)

Volume 18 (2010)

Volume 17 (2009)

Volume 16 (2008)

Volume 15 (2007)

Volume 14 (2006)