|
| | Skura, Tomasz
Aspects of refutation procedures in the intutionistic logic and related modal systems [Текст] / Tomasz Skura // Acta Universitatis Wratislaviensis. 2180 / Uniwersytet Wroclawski. ; Uniwersytet Wroclawski - Wroclaw , 1999. — s. 1-100. | |
| | ISBN 83-229-1985-9 | |
|
