Skip to main content
Have a personal or library account? Click to login
Basic Properties and Concept of Selected Subsequence of Zero Based Finite Sequences Cover

Basic Properties and Concept of Selected Subsequence of Zero Based Finite Sequences

Formalized Mathematics
Volume 16 (2008): Issue 3 (September 2008)
By:  and    
Open Access
|Mar 2009
References

References

  1. [1] Grzegorz Bancerek. Cardinal numbers., 1(2):377-382, 1990.
    Search in Google Scholar
  2. [2] Grzegorz Bancerek. The fundamental properties of natural numbers., 1(1):41-46, 1990.
    Search in Google Scholar
  3. [3] Grzegorz Bancerek. Increasing and continuous ordinal sequences., 1(4):711-714, 1990.
    Search in Google Scholar
  4. [4] Grzegorz Bancerek. The ordinal numbers., 1(1):91-96, 1990.
    Search in Google Scholar
  5. [5] Czesław Byliński. Functions and their basic properties., 1(1):55-65, 1990.
    Search in Google Scholar
  6. [6] Agata Darmochwał. Finite sets., 1(1):165-167, 1990.
    Search in Google Scholar
  7. [7] Paul R. Halmos.The Mathematical Society of Japan, 1956. No.3.
    Search in Google Scholar
  8. [8] Krzysztof Hryniewiecki. Basic properties of real numbers., 1(1):35-40, 1990.
    Search in Google Scholar
  9. [9] Jarosław Kotowicz. Real sequences and basic operations on them., 1(2):269-272, 1990.
    Search in Google Scholar
  10. [10] Karol Pαk. Cardinal numbers and finite sets., 13(3):399-406, 2005.
    Search in Google Scholar
  11. [11] Andrzej Trybulec. On the sets inhabited by numbers., 11(4):341-347, 2003.
    Search in Google Scholar
  12. [12] Zinaida Trybulec. Properties of subsets., 1(1):67-71, 1990.
    Search in Google Scholar
  13. [13] Tetsuya Tsunetou, Grzegorz Bancerek, and Yatsuka Nakamura. Zero-based finite sequences., 9(4):825-829, 2001.
    Search in Google Scholar
  14. [14] Edmund Woronowicz. Relations and their basic properties., 1(1):73-83, 1990.
    Search in Google Scholar
DOI: https://doi.org/10.2478/v10037-008-0034-y | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 283 - 288
Published on: Mar 20, 2009
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

© 2009 Yatsuka Nakamura, Hisashi Ito, published by University of Białystok
This work is licensed under the Creative Commons License.

Volume 16 (2008): Issue 3 (September 2008)
Previous article