Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "calculus" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-14 z 14
    Tytuł:
    Uwagi o L. Borkowskiego metodzie zerojedynkowego sprawdzania węższego rachunku predykatów
    Autorzy:
    Lechniak, Marek
    Powiązania:
    https://bibliotekanauki.pl/articles/2016153.pdf
    Data publikacji:
    2001
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    logika
    rachunek predykatów
    metoda zerojedynkowa
    logic
    predicate calculus
    truth-table decision procedure
    Źródło:
    Roczniki Filozoficzne; 2001, 49, 1; 235-241
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Logicy i logika a poznanie przyrody
    Logicians and Logic on Study of Nature
    Autorzy:
    Kiczuk, Stanisław
    Powiązania:
    https://bibliotekanauki.pl/articles/2013931.pdf
    Data publikacji:
    2005
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    logika
    funktor prawdziwościowy
    funktor nieprawdziwościowy
    dwuwartościowy rachunek zdań
    wielowartościowy rachunek zdań
    logic
    truth-functional operator
    not truth-functional operator
    two valued propositional calculus
    many-valued propositional calculus
    Opis:
    Starting from the 1930s logicians tackled problems connected with applicability of logic in natural sciences and in many cases they tried to practically apply logic in these sciences. In the article entitled ‘Logicians and logic on study of nature’ it is stressed that the broadly understood formal logic supplies natural sciences, and especially physics, with a paradigm for a method of ordering theses. It is also shown what application of logic laws to natural sciences consists in, and theses are formulated concerning what the laws of classical propositional calculus state. A lot of attention is devoted to the language of modern and contemporary physics. Modern and contemporary physics uses two languages, i.e. the mathematical language and the so-called notional language. The logic of the former language is classical logical calculus. In connection with the notional language logicians construed a lot of systems of non-classical logics in which laws are given that govern the correct use of non-extensional operators connected with such terms occurring in natural sciences as “time”, “cause”, “change” etc. The language of well construed systems of non-classical logics may serve saving, storing and precise communicating the results obtained on the ground of natural sciences.
    Źródło:
    Roczniki Filozoficzne; 2005, 53, 1; 129-142
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Minimalne empiryczne podstawy teorii bytu a modele dla logiki nazw
    The Minimum Empirical Basis for the Theory of Being vs. Models for the Logic of Names
    Autorzy:
    Kulicki, Piotr
    Powiązania:
    https://bibliotekanauki.pl/articles/2012908.pdf
    Data publikacji:
    2010
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    teoria bytu
    rachunek nazw
    model charakterystyczny
    theory of being
    calculus of names
    characteristic model
    Opis:
    In the article attention is paid to the analogy between considerations concerning the number of objects that are the empirical basis for the theory of being and investigations concerning the size of the models necessary for solving formulas on the ground of calculus of names without quantifiers. In both cases a minimum of two objects appear as an answer to the question that has been posed. In explaining the noticed similarity the meaning aspect, as different from the referential aspect of cognition of reality, is pointed to.
    Źródło:
    Roczniki Filozoficzne; 2010, 58, 2; 29-39
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Causal and Functional Determination vs. Foreknowledge about the Future
    DETERMINACJA KAUZALNA I FUNKCJONALNA VS. PRZEDWIEDZA O PRZYSZŁOŚCI
    Autorzy:
    JADACKI, Jacek J.
    Powiązania:
    https://bibliotekanauki.pl/articles/488539.pdf
    Data publikacji:
    2018-11-04
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    antinomy
    future contigents
    formalization
    classical predicate calculus
    formal semantics
    ontology
    antynomia
    futura contingentia
    formalizacja
    semantyka formalna
    ontologia
    Opis:
    The author of the paper critically analyzes a quasi-theory of future contingents (PFC) given by Marcin Tkaczyk and proposes his own explication of its theses and terms. The author makes it by introducing operational definitions of temporal and modal concepts, distinguishing between the causal and functional determination, discussing the status of the principle of bivalence, and re¬placing Tkaczyk’s theses by their new formulations. As a result, the author states, among other things, that (contrary to Tkaczyk) there is no contradiction between the thesis about the opened fu¬ture and the thesis about divine omniscience, because it requires the causal (but not functional as it is a case) determination between a true proposition and its determined fact. The author also shows that Tkaczyk’s examples of the retroactive causes are not an accurate solution of the anti-nomy because they are, at most, the examples of the factors which change the picture of the past but not the past itself.
    Autor artykułu krytycznie analizuje sformułowaną przez Marcina Tkaczyka pseudoteorię przy¬szłych zdarzeń przygodnych (PFC) oraz proponuje własną eksplikację jej tez i terminów. Czyni to poprzez wprowadzenie operacyjnych definicji pojęć temporalnych i modalnych, roz-różnienie między determinacją kauzalną a determinacją funkcjonalną, rozważenie statusu zasady dwuwartościowości oraz zastąpienie tez Tkaczyka ich nowymi sformułowaniami. W rezultacie au¬tor (przeciwnie niż jego Adwersarz) stwierdza, między innymi, że nie zachodzi sprzeczność między tezą o otwartości przyszłości a tezą o wszechmocy Boga, ponieważ sprzeczność ta zacho¬dziłaby wyłącznie w przypadku kauzalnej, a nie (jak faktycznie jest) funkcjonalnej determinacji między prawdziwym zdaniem a faktem, którego ono dotyczy. Autor pokazuje również, że poda¬wane przez Tkaczyka przykłady retroaktywnej przyczynowości nie stanowią właściwego rozwią¬zania tytułowej antynomii, ponieważ są one przykładami czynników, które co najwyżej zmieniają obraz przeszłości, a nie przeszłość samą.
    Źródło:
    Roczniki Filozoficzne; 2018, 66, 4; 81-98
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On the Representation if States of Affairs in the Antinomy of Future Contingents
    O REPREZENTACJI STANÓW RZECZY W ANTYNOMII FUTURA CONTINGENTIA
    Autorzy:
    GARBACZ, Paweł
    Powiązania:
    https://bibliotekanauki.pl/articles/488377.pdf
    Data publikacji:
    2018-11-04
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    antinomy
    future contigents
    formalization
    classical predicate calculus
    formal semantics
    ontology
    antynomia
    futura contingentia
    formalizacja
    semantyka formalna
    ontologia
    Opis:
    The paper is a comment on the formalization of the antinomy of futura contigentia in the form of a (inconsistent) theory formulated by Marcin Tkaczyk in the language of classical pre-dicate calculus. I argue that some features of the formalization in question are contro¬versial from the viewpoint of formal semantics and ontology, and suggest two ways of removing some of those controversies.
    Artykuł jest komentarzem do formalizacji antynomii futura contigentia w postaci (sprzecz-nej) teorii sformułowanej przez Marcina Tkaczyka w języku klasycznej logiki predykatów. Argu¬men¬tuję w nim, że formalizacja ta posiada pewne kontrowersyjne, z punktu widzenia ontologii i semantyki formalnej, własności oraz sugeruję dwa sposoby melioracji niektórych z tych kontrowersji.
    Źródło:
    Roczniki Filozoficzne; 2018, 66, 4; 55-80
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    ONTOLOGIA ELEMENTARNA I KLASYCZNY RACHUNEK RELACJI
    ELEMENTARY ONTOLOGY AND THE CLASSICAL CALCULUS OF RELATIONS
    Autorzy:
    Wojciechowski, Eugeniusz
    Powiązania:
    https://bibliotekanauki.pl/articles/488626.pdf
    Data publikacji:
    2013
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    ontologia elementarna
    systemy Leśniewskiego
    sylogizmy ukośne
    klasyczna teoria relacji
    elementary ontology
    Leśniewski’s systems
    oblique syllogisms
    classical calculus of relations
    Opis:
    The notion of relation is one of the most important concepts present in our language. This study propose some extension of elementary ontology (OE) for relational variables and defining in his framework the concepts of the classical calculus of relations. Such enriched elementary ontology (OER) is a better tool for the analysis of natural language. It is shown that syllogistic with the negative terms enriched by so called oblique syllogisms (SNU with the axioms C1–C5) is a fragment of OER system (Theorem 1). The OER system is enriched next with individual variables (a,b,c) and by assuming the individual term referentiality (axiom A2) we obtain OER* system. The Proof that the classical calculus of relations (KRR) is a part of the system OER* (Theorem 2) is given.
    Źródło:
    Roczniki Filozoficzne; 2013, 61, 2; 27-38
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Uwagi o systemie logiki formalnej skonstruowanym dla logików nieformalnych
    Remarks on the System of Formal Logic Construed for Informal Logicians
    Autorzy:
    Kiczuk, Stanisław
    Powiązania:
    https://bibliotekanauki.pl/articles/2012940.pdf
    Data publikacji:
    2010
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    funktor prawdziwościowy
    logika nieformalna
    logika nieklasyczna
    klasyczny rachunek zdań
    truth-functional operator
    informal logic
    non-classical logic
    classical propositional calculus
    Opis:
    D. Sherry’s main theses included in his essay entitled “Formal Logic for Informal Logicians” are presented in the article. In a discussion with his theses it is shown that he prefers this kind of logic that has a lot of elements that are the same as in Aristotle’s logic understood as the art of thinking and the technique of discussion taken from Topics, and not the logic that was started in his Prior Analytics. It is also shown that not only patterns of inferring, but also the theses of logic, as well as theses to which no patterns correspond, that are guarantee reliability of inference patterns, may be intuitively obvious. In the article also attention is drawn to the fact that the PL- system of logic presented by Sherry was characterized by him by means of a rather poor logical terminology. In the American author’s argument there are no clear distinctions between the thesis of logic, the logical inference pattern and the rule of the procedure of proving. However, it can be established that the PL- system is constituted by argumentation patterns that are reliable owing to such theses of propositional logic as modus potens, modus tollens, disjunctive syllogism, conjunctive syllogism, complex destructive dilemma, and the two rules concerning creating proofs, i.e. the rule of conditional proof and the rule of reduction to the absurd. In the PL- system there are fewer theses than in the classical propositional calculus, but this has nothing in common with the so-called multivalent logics to which some theses of classical logic supposedly do not apply. Everything suggests that some systems of non-classical logic systems may be built on the PL- system; namely, the ones in which theses are given that govern the correct use of non-extensional operators connected with key terms appearing in many sciences, like e.g. “time”, “change”, “causality”. Sherry’s essay reveals that he is a supporter of the thesis that knowledge of formal logic is necessary for using informal logic efficiently, which is necessary for teaching logic properly.
    Źródło:
    Roczniki Filozoficzne; 2010, 58, 1; 95-108
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    O NIEKTÓRYCH PRAWACH LOGIKI I ZASADACH OGÓLNEJ TEORII BYTU
    Autorzy:
    Kiczuk, Stanisław
    Powiązania:
    https://bibliotekanauki.pl/articles/488533.pdf
    Data publikacji:
    2012
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    logika współczesna
    funktor prawdziwościowy
    klasyczny rachunek zdań
    zasada racji dostatecznej
    modern logic
    truth-functional operator
    classical propositional calculus
    principle of sufficient reason
    Opis:
    Some principles of general theory of being have their equivalents in laws of classical logic. For a long time this was not distinctly noticed, as logic was treated rather as technology of discussion, and not as a system of propositions stated in the objective language and concerning connections between facts. It may be generally said that some primary principles of being and some laws of logic state the same most fundamental connections between facts, between states of things. There are also principles of philosophy that do not have such equivalents in laws of logic. These include the principle of sufficient reason. The concept of intuitive truth of propositions that reappeared in modern logic first of all in connection with K. Gödel’s theorem of 1931 formed an intellectual climate that made it possible for classical logicians to accept also those principles of general theory of being that do not have equivalents in laws of standard logic. It may be said that these philosophical principles may be included in the outward basis of modern logic.
    Źródło:
    Roczniki Filozoficzne; 2012, 60, 2; 171-179
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Uwagi o Susan Haack rozumieniu filozofii logiki
    Remarks on Susan Haack’s Conception of Philosophy of Logic
    Autorzy:
    Czernecka-Rej, Bożena
    Powiązania:
    https://bibliotekanauki.pl/articles/2013362.pdf
    Data publikacji:
    2007
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    Susan Haack
    filozofia logiki
    logika formalna
    rachunek formalny
    logika rozszerzona
    logika dewiacyjna
    philosophy of logic
    formal logic
    formal calculus
    extended logic
    deviant logic
    Opis:
    The aim of the article is to present remarks concerning Susan Haack’s understanding of philosophy of logic. At the beginning, in the form of questions the area of problems tackled by philosophy of logic is indicated. Determination of the range of logic, that is differentiating logic from non-logic (the logical system from the formal system) is a priority for philosophy of logic. In the paper a critical analysis is made of the different suggestions for a demarcation line for logic that Haack discusses. Next the main ideas of philosophy of logic are presented, as seen by Haack, with special focus on two theses: about revisionability of logic and about logical pluralism. These theses appear in the context of quest for the answer to the question about correctness of logic. Also the differentiation between extended logics and deviant logics is significant here. In the final part of the paper assumptions and consequences of theses proposed by Haack are searched for and a discussion is undertaken concerning the way of justifying the obligatory character of a logic.
    Źródło:
    Roczniki Filozoficzne; 2007, 55, 1; 23-46
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Rachunek nazw z listami
    The Calculus of Names with Lists
    Autorzy:
    Wojciechowski, Eugeniusz
    Powiązania:
    https://bibliotekanauki.pl/articles/2012863.pdf
    Data publikacji:
    2011
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    bezkwantyfikatorowy rachunek nazw
    lista
    Operator listowy
    ontologia elementarna
    systemy Leśniewskiego
    quantifier-less calculus of names
    list
    list Operator
    elementary ontology
    Leśniewski’s Systems
    Opis:
    In its suppositional phrasing the quantifier-less calculus of names has rules of introduction and Omission of the all (π) and some (σ) functors of the n/n category. The functors are the equivalents of quantifiers. A certain extension of its language by individual variables and a list Operator ([…]) is proposed here. In so extended language the quantifier-less calculus of names with lists is constructed, where axiom AI (a Substitute of the axiom of the theory of identity) and the rules characterising the list Operator are adopted.
    Źródło:
    Roczniki Filozoficzne; 2011, 59, 1; 35-50
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Logika formalna czy logiki formalne?
    Formal Logic or Formal Logics?
    Autorzy:
    Kiczuk, Stanisław
    Powiązania:
    https://bibliotekanauki.pl/articles/2013349.pdf
    Data publikacji:
    2007
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    logika
    funktor prawdziwościowy
    logika standardowa
    logika nieklasyczna
    wielowartościowy rachunek zdań
    logika klasyczna
    logic
    truth-functional operator
    standard logic
    non-classical logic
    many-valued propositional calculus
    classical logic
    Opis:
    Apart from putting the theses contained in E. Agazzi’s work Why Is It Logical to Admit Several Logics? in an order and making them more distinct, an attempt is made to draw conclusions from the explicit wordings used by that author. Some theses presented in the text are shown against the views of other authors who discussed analogous problems. In this way, as it seems, modification, completing and elaborating has been possible of wordings that approve of the thesis about the existence of many logics that are contained in the analyzed text. Among others, the article emphasizes that Agazzi’s pronouncements about relations existing between standard logic and intuitionist logic cannot be accepted. Also, several remarks are made about the so-called many-valued logics. Agazzi’s theses that well constructed non-classical logics representing proper contents are necessary for representatives of various branches of knowledge is acceptable.
    Źródło:
    Roczniki Filozoficzne; 2007, 55, 1; 129-157
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Modalny rachunek nazw
    Modal Calculus of Names
    Autorzy:
    Wojciechowski, Eugeniusz
    Powiązania:
    https://bibliotekanauki.pl/articles/2012888.pdf
    Data publikacji:
    2010
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    modalność
    modalność de re
    modalność de dicto
    funktor modalny
    rachunek modalny
    modalna ontologia elementarna
    modality
    modality de re
    modality de dicto
    modal operator
    modal calculus
    elementary modal ontology
    Opis:
    Sentences with the form: x is δ y, where δ is one of the modal operators (of the n/n category) is usually interpreted as rendering modalities of the de re type, as contrary to sentences included in the scheme: ΔP(x), where the modal operator Δ (of the s/s category) is semantically ambiguous (de re or de dicto). In literature treating modality as de dicto modality dominates. This results mainly from the fact that modal calculi are practiced mainly as sentential calculi, built over the classical sentential calculus, where – in the nature of things – the structure of sentences is not  analyzed. We also have some extensions of elementary ontology (Lebedev’s) with the modal operator of the is-δ (s/nn) type as the primary operator.  In the article a construction is suggested, in which an operator of the δ (n/n) type is the primitive term. It is an elementary modal ontology that is an inferential extension of one of the mentioned systems, despite a formal simplification of its axioms.
    Źródło:
    Roczniki Filozoficzne; 2010, 58, 2; 237-254
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Bezkwantyfikatorowy rachunek nazw z regułą ekstensjonalności
    A quantifier-less calculus of names with the rule of extensionality
    Autorzy:
    Wojciechowski, Eugeniusz
    Powiązania:
    https://bibliotekanauki.pl/articles/2013180.pdf
    Data publikacji:
    2008
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    bezkwantyfikatorowy rachunek nazw
    reguła ekstensjonalności dla funktora inkluzji jednostkowej
    ontologia elementarna
    systemy Leśniewskiego
    quantifier-less calculus of names
    extensionality rule for the functor of singular inclusion
    elementary ontology
    Leśniewski’s systems
    Opis:
    Ludwik Borkowski has constructed a quantifier-less calculus of names (BRN1), which is regarded as a base system here. The system can be extended with the use of the deductive power of rules of introduction and omission of functors π and σ (BRN2), which serve here as the substitutes of quantifiers. If we adopt the extensionality rule for the functor of singular inclusion (REε), we obtain yet another extending of the system (BRN3) accompanied by simultaneous considerable reduction of the primary rules. The interpretation of the last system in elementary ontology is included.
    Źródło:
    Roczniki Filozoficzne; 2008, 56, 1; 417-429
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    IDENTYCZNOŚĆ, PEWNE ZAIMKI FUNKTOROWE I DESKRYPCJE
    IDENTITY, CERTAIN FUNCTOR PRONOUNS AND DESCRIPTION
    Autorzy:
    Wojciechowski, Eugeniusz
    Powiązania:
    https://bibliotekanauki.pl/articles/488172.pdf
    Data publikacji:
    2013
    Wydawca:
    Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
    Tematy:
    identyczność
    zaimki funktorowe
    zaimki wskazujące
    bezkwantyfikatorowy rachunek nazw
    logika Ockhama
    logika średniowieczna
    deskrypcje określone
    identity
    functor pronouns
    demonstrative pronouns
    quantifier-less calculus of names
    Ockham’s logic
    medieval logic
    definite descriptions
    Opis:
    From the logical point of view, the most interesting among the pronouns are demonstrative pronouns (especially: this/that), indefinite pronouns (a/an), definite pronoun (the) and quantifying pronouns (every, all, some). Unlike personal pronouns (e.g. I/you/he) they are in fact functors (of the n/n category). The differentiation between personal pronouns (n) and functor pronouns (n/n) is vital here. This differentiation does not exist in traditional grammar. The study is limited to determining functor pronouns with the use of logical properties of quantifying expressions, which are functor pronouns themselves – all (n) and some (cr) – formally expressed in the quantifier-less calculus of names (BRN). The calculus is properly enriched with demonstrative pronouns (demonstrativa), in connection to certain studies by Toshiharu Waragai (LID). An attempt to employ this system (BRND) in the analysis of some fragments of Ockham’s Summa Logicae is shown here. The work is concluded with the analysis of a functor pronoun the only (t), being a special case of a definite pronoun, which is characterised here by means of rules. The work reveals the connection between this pronoun and the operator of definite descriptions (marked in the same way) in relation to a certain Ludwik Borkowski’s conception.
    Źródło:
    Roczniki Filozoficzne; 2013, 61, 3; 125-141
    0035-7685
    Pojawia się w:
    Roczniki Filozoficzne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-14 z 14

      Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies