O artykule
Data publikacji: 26 kwi 2012
Zakres stron: 241 - 250
DOI: https://doi.org/10.2478/v10037-011-0033-2
This content is open access.
In the paper the concept of stacks is formalized. As the main result the Theorem of Representation for Stacks is given. Formalization is done according to [13].