Počet záznamov: 1
Unification types in logic
SYS 0063872 LBL 00000nam$$22^^^^^$$$450$ 005 20150728090438.1 010 $a 978-83-226-1717-5 $d 200,00 SK 100 $a 20081007a2007łłłłm$$y0sloc0103$$$$ba 101 0-
$a eng $d ger 102 $a PL 200 1-
$a Unification types in logic $f Wojciech Dzik 205 $a 1. wyd. 210 $a Katowice $c Wydawnictwo Uniwersytetu Śląskiego $d 2007 215 $a 192 s. $c il. $d 24 cm 225 $a Prace Naukowe Uniwersytetu Śląskiego w Katowiciach $v nr 2554 320 $a Bibliografia s. 180 - 186. Register 410 -1
$1 001 umb_un_auth*0115243 $1 500 10 $a Prace Naukowe Uniwersytetu Śląskiego w Katowicach 606 0-
$3 umb_un_auth*0038365 $a logika $x formálna logika $X logic 615 $n 16 $a Logika. Epistemológia. Teória poznania. Metodológia logiky 700 -1
$3 umb_un_auth*0143506 $a Dzik $b Wojciech $4 070 801 -0
$a SK $b BB301 $c 20081007 $g AACR2
Počet záznamov: 1