AUTHOR   INDEX

Home Page	Description	Editors	Author index	Submission information
Volume XII/XIII 1993/94	Volume 1 (14) 1997	Volume 2 (15) 1998	Volume 3 (16) 1999	Volume 4 (17) 2001
Volume 5 (18) 2002	Volume 6 (19) 2003

Banach Wiesław Borkowski Bolesław Bryniarski Edward Dańko Wiktor Doliwa Katarzyna Drozdek Adam Gomolińska Anna Jermołowicz Renata Kopania Jerzy Koszelew Jolanta Krauze-Błachowicz Krystyna

Malec Andrzej Malinowski Grzegorz Marciszewski Witold Matuszewski Roman Murawski Roman Omyła Mieczysław Orłowska Ewa Orłowski Arkadiusz Rogalski Andrzej Krzysztof Sadowski Zenon

Surowik Dariusz Święczkowska Halina Tempczyk Michał Trzęsicki Kazimierz Tyszka Tadeusz Wojtylak Piotr Woleński Jan Wybraniec-Skardowska Urszula Zalewska Anna Zbieć Katarzyna

---

Wiesław Banach     Author Index Hayek: an idea of self-organization and a critique of the constructivist utopia      Volume 5(18), 2002 Bolesław Borkowski     Author Index Mathematical methods on commodity exchanges      Volume 5(18), 2002 (with Arkadiusz Orłowski) Edward Bryniarski     Author Index The notion of the truth in systems of knowledge.      Volume 3(16), 1999 (with Andrzej Krzysztof Rogalski, Urszula Wybraniec-Skardowska) Katarzyna Doliwa     Author Index The Role of Language in the Philosophical System of Thomas Hobbes.      Volume 6(19), 2003 Wiktor Dańko, Jolanta Koszelew     Author Index The Post correspondence problem as a tool for proving undecidability in logics of Probabilistic programs.      Volume 2(15), 1998 Adam Drozdek     Author Index Leibniz: Struggles with Infinity.      Volume 1(14), 1997 Anna Gomolińska     Author Index Rule complexes for representing social actors and interactions.      Volume 3(16), 1999 Renata Jermołowicz     Author Index On the Project of a Universal Language in the Framework of the XVII Century Philosophy.      Volume 6(19), 2003 Jerzy Kopania     Author Index Methodological Description of Brain Death Definition.      Volume 6(19), 2003 Descartes' Great Thesis on Nature.      Volume 1(14), 1997 Jolanta Koszelew     Author Index Some Methods for Qualifying Properties of Probabilistic Programs.      Volume 2(15), 1998 The Post correspondence problem as a tool for proving undecidability in logics of probabilistic programs.      Volume 2(15), 1998 (with Wiktor Dańko) Andrzej Malec    Author Index Possible levels of central planning     Volume 5(18), 2002 Legal reasoning and logic     Volume 4(17), 2001 Two forms of legal definition - a comparison     Volume 3(16), 1999 Norms and Programs     Volume 1(14), 1997 Krystyna Krauze-Błachowicz     Author Index Johannes Glogoviensis' concept of construction.      Volume 6(19), 2003 Grzegorz Malinowski     Author Index Lattice properties of a protologic inference.      Volume 4(17), 2001 Many-valued Post Logic.      Volume 2(15), 1998 Witold Marciszewski     Author Index On Mechanization of Reasoning, Decidability of Logic, and Uncomputable Numbers.      Volume 6(19), 2003 A Comment on Hayek's Ideas of Free Market and Civilization as discussed in his lecture. The Defense of Our Civilization Against Intellectual Error.      Volume 6(19), 2003 Hypercomputational vs. computational complexity. A challenge for methodology of the social sciences      Volume 5(18), 2002 Leibniz's mathematical and philosophical aprroaches to actual infinity. A case of cultuaral resistance      Volume 4(17), 2001 Three essays in the modern mathesis universalis      Volume 3(16), 1999 Can Turing-Post Machine Produce Prerequisites for Automated Reasoning? Introduction to this volume      Volume 2(15), 1998 Post's Problem of Creativity and "Nature as Infinite Intelligence"      Volume 2(15), 1998 Leibniz's Idea of Automated Reasoning Compared with Modern AI      Volume 1(14), 1997 Roman Matuszewski     Author Index Formal mathematical texts. Towards their rendering into natural language.      Volume 4(17), 2001 A structural approach to human oriented presentation of formal proofs.      Volume 3(16), 1999 On natural language presentation of formal mathematical texts.      Volume 3(16), 1999 Roman Murawski     Author Index On proofs of the consistency of arithmetic.      Volume 4(17), 2001 E. L. Post and the development of mathematical logic and recursion theory.      Volume 2(15), 1998 Mieczysław Omyła     Author Index Possible Worlds in the Language of Non-Fregean Logic.      Volume 6(19), 2003 Ewa Orłowska     Author Index Post algebras and Post logics.      Volume 2(15), 1998 Arkadiusz Orłowski     Author Index Mathematical methods on commodity exchanges      Volume 5(18), 2002 (with Bolesław Borkowski) Andrzej Krzysztof Rogalski     Author Index The notion of the truth in systems of knowledge.      Volume 3(16), 1999 (with Edward Bryniarski, Urszula Wybraniec-Skardowska) Zenon Sadowski     Author Index On the development of Emil Post's ideas in structural complexity theory.      Volume 2(15), 1998 Dariusz Surowik    Author Index Tense Logics and Aristotelian Argument about Determinism     Volume 6(19), 2003 Leonard Savage's mathematical theory of decision     Volume 5(18), 2002 Tense logics and the thesis of determinism.     Volume 4(17), 2001 Some technical results in a certain intuitionistic tense logic.     Volume 3(16), 1999 Tense logic without the principle of the excluded middle.     Volume 3(16), 1999 Some Remarks about Intuitionistic Tense Logic.     Volume 1(14), 1997 Halina Święczkowska     Author Index Do we think algorithmically?      Volume 4(17), 2001 On "Authorial" Version of the History of Linguistics.      Volume 6(19), 2003 Leibniz's idea of thinking as computation.      Volume 3(16), 1999 Language as the Mirror of the Mind.      Volume 1(14), 1997 Michał Tempczyk     Author Index The dynamics of nonlinear systems      Volume 5(18), 2002 Kazimierz Trzęsicki     Author Index Omniscience, Omnipotence and Related Notions.      Volume 1(14), 1997 Tadeusz Tyszka     Author Index Remarks of the psychologist on Hayek's ideas about the role of knowledge in economic planning      Volume 5(18), 2002 Piotr Wojtylak     Author Index Axiomatizability of Logical Matrics.      Volume 2(15), 1998 Jan Woleński     Author Index Logical consequence and the limits of first-order logic.      Volume 4(17), 2001 Urszula Wybraniec-Skardowska     Author Index The notion of the truth in systems of knowledge.      Volume 3(16), 1999 (with Edward Bryniarski, Andrzej Krzysztof Rogalski) A formal-logical approach to the problem of imprecision.      Volume 2(15), 1998 Anna Zalewska     Author Index From the genealogy of mathematical economics: Walras, Pareto and Lange      Volume 5(17), 2002 Problems with omega-rules in mechanization of reasoning. A comparison of two systems.      Volume 4(17), 2001 Theorems proving in a certain sequent calculus.      Volume 3(16), 1999 A Criterion of Decidability of some Algorithmic Formulas.      Volume 1(14), 1997 The Norms from the Point of View of a Certain Logic of Programs.      Volume 1(14), 1997 Katarzyna Zbieć     Author Index The Prisoner's Dilemma and the Game of Life.      Volume 6(19), 2003