Volume 9 (22) 2006: Issues of Decidability and Tractability Preface to this Volume as appearing in a new setting Witold Marciszewski The Godelian Speed-up and Other Strategies to Address Decidability and Tractability. Editorial Comment on this Volume Roman Murawski The Present State of Mechanized Deduction, and the Present Knowledge of its Limitations Roman Matuszewski On Computer-assisted Approach to Formalized Reasoning		ISBN 978-83-7431-108-3
Kazimierz Trzęsicki From the Idea of Decidability to the Number Omega Witold Marciszewski Undecidability and Intractability in Social Sciences Anna Gomolińska Rough Information Granules in Social Agent System Modelling Appendix

Copyright © 2006 STUDIES IN LOGIC, GRAMMAR AND RHETORIC ISSN 0860-150X. Articles are copyrighted by their respective authors.