Aspects of refutation procedures in the intuitionistic logic and related modal systems / Tomasz Skura
Сохранено в:
| Вид документа: | |
|---|---|
| Автор: | Skura, Tomasz |
| Опубликовано: | Wrocław : Wydawnictwo Uniwersytetu Wrocławskiego , 1999 |
| Физические характеристики: |
84, [1] с. : іл. ; 24 см
|
| Язык: | Английский |
| Серия: |
Acta Universitatis Wratislaviensis
№ 2190 t. 20 |
| 00000nam2a22000003ij4500 | |||
| 001 | BY-NLB-br0000968066 | ||
| 005 | 20130726121847.0 | ||
| 010 | # | # | $a 83-229-1985-9 |
| 100 | # | # | $a 20130726d1999 |||y0bely50 ba |
| 101 | 0 | # | $a eng |
| 102 | # | # | $a PL |
| 105 | # | # | $a a ||||001yy |
| 200 | 1 | # | $a Aspects of refutation procedures in the intuitionistic logic and related modal systems $f Tomasz Skura |
| 210 | # | # | $a Wrocław $c Wydawnictwo Uniwersytetu Wrocławskiego $d 1999 |
| 215 | # | # | $a 84, [1] с. $c іл. $d 24 см |
| 225 | 2 | # | $a Acta Universitatis Wratislaviensis $x 0239-6661 $v № 2190 $i Logika $v t. 20 |
| 320 | # | # | $a Бібліяграфія: с. 83―84 |
| 320 | # | # | $a Паказальнік: с. 85 |
| 461 | # | 1 | $1 001BY-NLB-br292336 $1 2001 $v 1999,№20 |
| 700 | # | 1 | $a Skura $b Tomasz |
| 801 | # | 0 | $a BY $b BY-HM0000 $c 20130726 $g psbo |