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 |