Zeszyty czasopisma

Tom 31 (2023): Zeszyt 1 (September 2023)

Tom 30 (2022): Zeszyt 4 (December 2022)

Tom 30 (2022): Zeszyt 3 (October 2022)

Tom 30 (2022): Zeszyt 2 (July 2022)

Tom 30 (2022): Zeszyt 1 (April 2022)

Tom 29 (2021): Zeszyt 4 (December 2021)

Tom 29 (2021): Zeszyt 3 (September 2021)

Tom 29 (2021): Zeszyt 2 (July 2021)

Tom 29 (2021): Zeszyt 1 (April 2021)

Tom 28 (2020): Zeszyt 4 (December 2020)

Tom 28 (2020): Zeszyt 3 (October 2020)

Tom 28 (2020): Zeszyt 2 (July 2020)

Tom 28 (2020): Zeszyt 1 (April 2020)

Tom 27 (2019): Zeszyt 4 (December 2019)

Tom 27 (2019): Zeszyt 3 (October 2019)

Tom 27 (2019): Zeszyt 2 (July 2019)

Tom 27 (2019): Zeszyt 1 (April 2019)

Tom 26 (2018): Zeszyt 4 (December 2018)

Tom 26 (2018): Zeszyt 3 (October 2018)

Tom 26 (2018): Zeszyt 2 (July 2018)

Tom 26 (2018): Zeszyt 1 (April 2018)

Tom 25 (2017): Zeszyt 4 (December 2017)

Tom 25 (2017): Zeszyt 3 (October 2017)

Tom 25 (2017): Zeszyt 2 (July 2017)

Tom 25 (2017): Zeszyt 1 (March 2017)

Tom 24 (2016): Zeszyt 4 (December 2016)

Tom 24 (2016): Zeszyt 3 (September 2016)

Tom 24 (2016): Zeszyt 2 (June 2016)

Tom 24 (2016): Zeszyt 1 (March 2016)

Tom 23 (2015): Zeszyt 4 (December 2015)

Tom 23 (2015): Zeszyt 3 (September 2015)

Tom 23 (2015): Zeszyt 2 (June 2015)

Tom 23 (2015): Zeszyt 1 (March 2015)

Tom 22 (2014): Zeszyt 4 (December 2014)

Tom 22 (2014): Zeszyt 3 (September 2014)

Tom 22 (2014): Zeszyt 2 (June 2014)
Special Zeszyt: 25 years of the Mizar Mathematical Library

Tom 22 (2014): Zeszyt 1 (March 2014)

Tom 21 (2013): Zeszyt 4 (December 2013)

Tom 21 (2013): Zeszyt 3 (October 2013)

Tom 21 (2013): Zeszyt 2 (June 2013)

Tom 21 (2013): Zeszyt 1 (January 2013)

Tom 20 (2012): Zeszyt 4 (December 2012)

Tom 20 (2012): Zeszyt 3 (December 2012)

Tom 20 (2012): Zeszyt 2 (December 2012)

Tom 20 (2012): Zeszyt 1 (January 2012)

Tom 19 (2011): Zeszyt 4 (January 2011)

Tom 19 (2011): Zeszyt 3 (January 2011)

Tom 19 (2011): Zeszyt 2 (January 2011)

Tom 19 (2011): Zeszyt 1 (January 2011)

Tom 18 (2010): Zeszyt 4 (January 2010)

Tom 18 (2010): Zeszyt 3 (January 2010)

Tom 18 (2010): Zeszyt 2 (January 2010)

Tom 18 (2010): Zeszyt 1 (January 2010)

Tom 17 (2009): Zeszyt 4 (January 2009)

Tom 17 (2009): Zeszyt 3 (January 2009)

Tom 17 (2009): Zeszyt 2 (January 2009)

Tom 17 (2009): Zeszyt 1 (January 2009)

Tom 16 (2008): Zeszyt 4 (January 2008)

Tom 16 (2008): Zeszyt 3 (January 2008)

Tom 16 (2008): Zeszyt 2 (January 2008)

Tom 16 (2008): Zeszyt 1 (January 2008)

Tom 15 (2007): Zeszyt 4 (January 2007)

Tom 15 (2007): Zeszyt 3 (January 2007)

Tom 15 (2007): Zeszyt 2 (January 2007)

Tom 15 (2007): Zeszyt 1 (January 2007)

Tom 14 (2006): Zeszyt 4 (January 2006)

Tom 14 (2006): Zeszyt 3 (January 2006)

Tom 14 (2006): Zeszyt 2 (January 2006)

Tom 14 (2006): Zeszyt 1 (January 2006)

Informacje o czasopiśmie
Format
Czasopismo
eISSN
1898-9934
Pierwsze wydanie
09 Jun 2008
Częstotliwość wydawania
4 razy w roku
Języki
Angielski

Wyszukiwanie

Tom 29 (2021): Zeszyt 4 (December 2021)

Informacje o czasopiśmie
Format
Czasopismo
eISSN
1898-9934
Pierwsze wydanie
09 Jun 2008
Częstotliwość wydawania
4 razy w roku
Języki
Angielski

Wyszukiwanie

0 Artykułów
Otwarty dostęp

Automatization of Ternary Boolean Algebras

Data publikacji: 09 Jul 2022
Zakres stron: 153 - 159

Abstrakt

Słowa kluczowe

  • ternary Boolean algebra
  • single axiom system
  • lattice

MSC

  • 68V20
  • 06B05
  • 06B75
Otwarty dostęp

Duality Notions in Real Projective Plane

Data publikacji: 09 Jul 2022
Zakres stron: 161 - 173

Abstrakt

Słowa kluczowe

  • Principle of Duality
  • duality
  • real projective plane
  • converse theorem

MSC

  • 51A05
  • 51N15
  • 68V20
Otwarty dostęp

Finite Dimensional Real Normed Spaces are Proper Metric Spaces

Data publikacji: 09 Jul 2022
Zakres stron: 175 - 184

Abstrakt

Słowa kluczowe

  • real vector space
  • topological space
  • normed spaces
  • L1-norm
  • maximum norm
  • linear isometry
  • proper metric space

MSC

  • 15A04
  • 40A05
  • 46A50
  • 68V20
Otwarty dostęp

Relationship between the Riemann and Lebesgue Integrals

Data publikacji: 09 Jul 2022
Zakres stron: 185 - 199

Abstrakt

Słowa kluczowe

  • Riemann integrals
  • Lebesgue integrals

MSC

  • 26A42
  • 68V20
Otwarty dostęp

Improper Integral. Part I

Data publikacji: 09 Jul 2022
Zakres stron: 201 - 220

Abstrakt

Słowa kluczowe

  • Improper integrals

MSC

  • 26A42
  • 68V20
Otwarty dostęp

Prime Representing Polynomial

Data publikacji: 09 Jul 2022
Zakres stron: 221 - 228

Abstrakt

Słowa kluczowe

  • prime number
  • polynomial reduction
  • diophantine equation

MSC

  • 11D45
  • 68V20
Otwarty dostęp

Quadratic Extensions

Data publikacji: 09 Jul 2022
Zakres stron: 229 - 240

Abstrakt

Słowa kluczowe

  • field extensions
  • quadratic polynomials
  • quadratic extensions

MSC

  • 12F05
  • 68V20
Otwarty dostęp

The 3-Fold Product Space of Real Normed Spaces and its Properties

Data publikacji: 09 Jul 2022
Zakres stron: 241 - 248

Abstrakt

Słowa kluczowe

  • 3-fold product spaces
  • linear spaces
  • normed spaces

MSC

  • 46B15
  • 46B20
  • 68V20
Otwarty dostęp

About Graph Sums

Data publikacji: 09 Jul 2022
Zakres stron: 249 - 278

Abstrakt

Słowa kluczowe

  • graph union
  • graph sum

MSC

  • 05C76
  • 68V20
Otwarty dostęp

Improper Integral. Part II

Data publikacji: 09 Jul 2022
Zakres stron: 279 - 294

Abstrakt

Słowa kluczowe

  • improper integral

MSC

  • 26A42
  • 68V20
0 Artykułów
Otwarty dostęp

Automatization of Ternary Boolean Algebras

Data publikacji: 09 Jul 2022
Zakres stron: 153 - 159

Abstrakt

Słowa kluczowe

  • ternary Boolean algebra
  • single axiom system
  • lattice

MSC

  • 68V20
  • 06B05
  • 06B75
Otwarty dostęp

Duality Notions in Real Projective Plane

Data publikacji: 09 Jul 2022
Zakres stron: 161 - 173

Abstrakt

Słowa kluczowe

  • Principle of Duality
  • duality
  • real projective plane
  • converse theorem

MSC

  • 51A05
  • 51N15
  • 68V20
Otwarty dostęp

Finite Dimensional Real Normed Spaces are Proper Metric Spaces

Data publikacji: 09 Jul 2022
Zakres stron: 175 - 184

Abstrakt

Słowa kluczowe

  • real vector space
  • topological space
  • normed spaces
  • L1-norm
  • maximum norm
  • linear isometry
  • proper metric space

MSC

  • 15A04
  • 40A05
  • 46A50
  • 68V20
Otwarty dostęp

Relationship between the Riemann and Lebesgue Integrals

Data publikacji: 09 Jul 2022
Zakres stron: 185 - 199

Abstrakt

Słowa kluczowe

  • Riemann integrals
  • Lebesgue integrals

MSC

  • 26A42
  • 68V20
Otwarty dostęp

Improper Integral. Part I

Data publikacji: 09 Jul 2022
Zakres stron: 201 - 220

Abstrakt

Słowa kluczowe

  • Improper integrals

MSC

  • 26A42
  • 68V20
Otwarty dostęp

Prime Representing Polynomial

Data publikacji: 09 Jul 2022
Zakres stron: 221 - 228

Abstrakt

Słowa kluczowe

  • prime number
  • polynomial reduction
  • diophantine equation

MSC

  • 11D45
  • 68V20
Otwarty dostęp

Quadratic Extensions

Data publikacji: 09 Jul 2022
Zakres stron: 229 - 240

Abstrakt

Słowa kluczowe

  • field extensions
  • quadratic polynomials
  • quadratic extensions

MSC

  • 12F05
  • 68V20
Otwarty dostęp

The 3-Fold Product Space of Real Normed Spaces and its Properties

Data publikacji: 09 Jul 2022
Zakres stron: 241 - 248

Abstrakt

Słowa kluczowe

  • 3-fold product spaces
  • linear spaces
  • normed spaces

MSC

  • 46B15
  • 46B20
  • 68V20
Otwarty dostęp

About Graph Sums

Data publikacji: 09 Jul 2022
Zakres stron: 249 - 278

Abstrakt

Słowa kluczowe

  • graph union
  • graph sum

MSC

  • 05C76
  • 68V20
Otwarty dostęp

Improper Integral. Part II

Data publikacji: 09 Jul 2022
Zakres stron: 279 - 294

Abstrakt

Słowa kluczowe

  • improper integral

MSC

  • 26A42
  • 68V20