Skip to main menu
Scroll to content
Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit
https://bibliotekanauki.pl
Search
Browse
About
test
Issue details
Link to site
Copy
Publisher
Sciendo
Journal
Studies in Logic, Grammar and Rhetoric
Year
2006
Volume
9
Issue
22
Identifiers
Cover
Volume contents
22
article:
The Goedelian Speed-up and Other Strategies to Address Decidability and Tractability.
(
Marciszewski W.
), p. 9-29
article:
The Present State of Mechanized Deduction, and the Present Knowledge of its Limitations
(
Murawski R.
), p. 31-60
article:
On Computer-assisted Approach to Formalized Reasoning
(
Matuszewski R.
), p. 61-71
article:
From the Idea of Decidability to the Number 'Omega'
(
Trzesicki K.
), p. 73-142
article:
Rough Information Granules in Social Agent System Modelling
(
Gomolinska A.
), p. 175-206
open years
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.