Aspects of refutation procedures in the intuitionistic logic and related modal systems / Tomasz Skura

Сохранено в:
Шифр документа: 89096-2ин,
Вид документа: Продолжающиеся издания
Автор: 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