|
|
|
|
|
00000nam2a22000003is4500 |
001 |
BY-NLB-br0001878831 |
005 |
20231204200315.0 |
100 |
# |
# |
$a 20231204d1991 |||y0bely50 ba
|
101 |
0 |
# |
$a eng
|
102 |
# |
# |
$a PL
$a NL
|
105 |
# |
# |
$a a ||||000yy
|
200 |
1 |
# |
$a Provability logic
$f edited by Leo Esakia and Sergei Artemov
|
210 |
# |
# |
$a [Wrocław]
$c Ossolineum
$a Dordrecht
$c Kluwer Academic Publishers
$d 1991
|
215 |
# |
# |
$a 174 с.
$c іл.
$d 24 см
|
225 |
2 |
# |
$a Studia logica
$f Polish Academy of Sciences, Institute of Philosophy and Sociology
$x 0039-3215
$v 50, 1
|
320 |
# |
# |
$a Бібліяграфія ў канцы артыкулаў
|
461 |
# |
1 |
$1 001BY-NLB-br287875
$1 2001
$v 1991,Vol.50,№1
|
702 |
# |
1 |
$a Esakia
$b L.
$g Leo
$4 340
|
702 |
# |
1 |
$a Artemov
$b S.
$g Sergei
$4 340
|
801 |
# |
0 |
$a BY
$b BY-HM0000
$c 20231204
$g RCR
|