Skip to main content
Have a personal or library account? Click to login
Arithmetic Operations on Functions from Sets into Functional Sets Cover

Arithmetic Operations on Functions from Sets into Functional Sets

Formalized Mathematics
Volume 17 (2009): Issue 1 (March 2009)
By:   
Open Access
|Mar 2009
References

References

  1. [1] Grzegorz Bancerek. The ordinal numbers., 1(1):91-96, 1990.
    Search in Google Scholar
  2. [2] Czesław Byliński. Functions and their basic properties., 1(1):55-65, 1990.
    Search in Google Scholar
  3. [3] Czesław Byliński. Functions from a set to a set., 1(1):153-164, 1990.
    Search in Google Scholar
  4. [4] Czesław Byliński. Some basic properties of sets., 1(1):47-53, 1990.
    Search in Google Scholar
  5. [5] Andrzej Kondracki. Basic properties of rational numbers., 1(5):841-845, 1990.
    Search in Google Scholar
  6. [6] Andrzej Trybulec. Tuples, projections and Cartesian products., 1(1):97-105, 1990.
    Search in Google Scholar
  7. [7] Andrzej Trybulec. On the sets inhabited by numbers., 11(4):341-347, 2003.
    Search in Google Scholar
  8. [8] Michał J. Trybulec. Integers., 1(3):501-505, 1990.
    Search in Google Scholar
  9. [9] Zinaida Trybulec. Properties of subsets., 1(1):67-71, 1990.
    Search in Google Scholar
  10. [10] Edmund Woronowicz. Relations and their basic properties., 1(1):73-83, 1990.
    Search in Google Scholar
  11. [11] Edmund Woronowicz. Relations defined on sets., 1(1):181-186, 1990.
    Search in Google Scholar
DOI: https://doi.org/10.2478/v10037-009-0005-y | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 43 - 60
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 Artur Korniłowicz, published by University of Białystok
This work is licensed under the Creative Commons License.

Volume 17 (2009): Issue 1 (March 2009)
Previous article