Link to site
Bialystok University Press
Studies in Logic, Grammar and Rhetoric
The Goedelian Speed-up and Other Strategies to Address Decidability and Tractability.
), p. 9-29
The Present State of Mechanized Deduction, and the Present Knowledge of its Limitations
), p. 31-60
On Computer-assisted Approach to Formalized Reasoning
), p. 61-71
From the Idea of Decidability to the Number 'Omega'
), p. 73-142
Rough Information Granules in Social Agent System Modelling
), p. 175-206