Unification types in logic / Wojciech Dzik
Saved in:
Superior document: | Prace naukowe Uniwersytetu Śląskiego w Katowicach 2554 |
---|---|
VerfasserIn: | |
Place / Publishing House: | Katowice : Wydawn. Uniw. Śląskiego, 2007 |
Year of Publication: | 2007 |
Edition: | Wyd. 1 |
Language: | English |
Series: | Prace naukowe Uniwersytetu Śląskiego w Katowicach
2554 |
Subjects: | |
Classification: | 31.10 - Mathematische Logik. Mengenlehre |
Physical Description: | 192 S.; graph. Darst.; 24 cm |
Notes: | Literaturverz. S. 180 - 186. - Zsfassung in poln. und dt. Sprache |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
990001589000504498 |
---|---|
ctrlnum |
AC06699521 (AT-OBV)AC06699521 (Aleph)006626976ACC01 (DE-599)OBVAC06699521 (EXLNZ-43ACC_NETWORK)990066269760203331 |
collection |
bib_alma |
institution |
YWOAW |
building |
MAG2-1 |
record_format |
marc |
spelling |
Dzik, Wojciech aut Unification types in logic Wojciech Dzik Wyd. 1 Katowice Wydawn. Uniw. Śląskiego 2007 192 S. graph. Darst. 24 cm Prace naukowe Uniwersytetu Śląskiego w Katowicach 2554 Literaturverz. S. 180 - 186. - Zsfassung in poln. und dt. Sprache Modality (Logic) Automatisch aus GBV_2011-10 2012-06-23 Unifikationstheorie s (DE-588)4186894-8 AT-OBV UBGSDL (AT-OBV)AC00304992 2554 YWOAW MAG2-1 100570.2554 2216608320004498 |
language |
English |
format |
Book |
author |
Dzik, Wojciech |
spellingShingle |
Dzik, Wojciech Unification types in logic Prace naukowe Uniwersytetu Śląskiego w Katowicach Unifikationstheorie (DE-588)4186894-8 |
author_facet |
Dzik, Wojciech |
author_variant |
w d wd |
author_role |
VerfasserIn |
author_sort |
Dzik, Wojciech |
title |
Unification types in logic |
title_full |
Unification types in logic Wojciech Dzik |
title_fullStr |
Unification types in logic Wojciech Dzik |
title_full_unstemmed |
Unification types in logic Wojciech Dzik |
title_auth |
Unification types in logic |
title_new |
Unification types in logic |
title_sort |
unification types in logic |
series |
Prace naukowe Uniwersytetu Śląskiego w Katowicach |
series2 |
Prace naukowe Uniwersytetu Śląskiego w Katowicach |
publisher |
Wydawn. Uniw. Śląskiego |
publishDate |
2007 |
physical |
192 S. graph. Darst. 24 cm |
edition |
Wyd. 1 |
isbn |
9788322617175 |
callnumber-raw |
100570.2554 |
callnumber-search |
100570.2554 |
topic |
Unifikationstheorie (DE-588)4186894-8 |
topic_facet |
Unifikationstheorie |
geographic_facet |
Automatisch aus GBV_2011-10 2012-06-23 |
illustrated |
Not Illustrated |
work_keys_str_mv |
AT dzikwojciech unificationtypesinlogic |
status_str |
n |
ids_txt_mv |
(AT-OBV)AC06699521 AC06699521 (Aleph)006626976ACC01 (DE-599)OBVAC06699521 (EXLNZ-43ACC_NETWORK)990066269760203331 |
hol852bOwn_txt_mv |
YWOAW |
hol852hSignatur_txt_mv |
100570.2554 |
hol852cSonderstandort_txt_mv |
MAG2-1 |
itmData_txt_mv |
2008-05-21 02:00:00 Europe/Vienna |
barcode_str_mv |
+YW10790205 |
callnumbers_txt_mv |
100570.2554 |
inventoryNumbers_str_mv |
100570.2554 |
materialTypes_str_mv |
BOOK |
permanentLibraries_str_mv |
YWOAW |
permanentLocations_str_mv |
MAG2-1 |
inventoryDates_str_mv |
20080521 |
createdDates_str_mv |
2008-05-21 02:00:00 Europe/Vienna |
holdingIds_str_mv |
2216608320004498 |
hierarchy_parent_id |
AC00304992 |
hierarchy_parent_title |
Prace naukowe Uniwersytetu Śląskiego w Katowicach 2554 |
hierarchy_sequence |
2554 |
is_hierarchy_id |
AC06699521 |
is_hierarchy_title |
Unification types in logic |
container_title |
Prace naukowe Uniwersytetu Śląskiego w Katowicach 2554 |
container_reference |
AC00304992 |
basiskl_str_mv |
31.10 - Mathematische Logik. Mengenlehre |
basiskl_txtF_mv |
31.10 - Mathematische Logik. Mengenlehre |
_version_ |
1787548309341077505 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01418nam#a2200469#cb4500</leader><controlfield tag="001">990001589000504498</controlfield><controlfield tag="005">20230320172934.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">080416|2007####|||###########|||#|#eng#c</controlfield><controlfield tag="009">AC06699521</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9788322617175</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(AT-OBV)AC06699521</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">AC06699521</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Aleph)006626976ACC01</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)OBVAC06699521</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLNZ-43ACC_NETWORK)990066269760203331</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">UBG</subfield><subfield code="b">ger</subfield><subfield code="d">UBW</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="c">XA-PL</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">31.10</subfield><subfield code="2">bkl</subfield><subfield code="9">O: Automatisch generiert aus Konkordanz MSC-BK</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03B35</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03-02</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03G25</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03B45</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03B55</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03B20</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03B99</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03B44</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03B42</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68Q42</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03C05</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Dzik, Wojciech</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Unification types in logic</subfield><subfield code="c">Wojciech Dzik</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Wyd. 1</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Katowice</subfield><subfield code="b">Wydawn. Uniw. Śląskiego</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">192 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Prace naukowe Uniwersytetu Śląskiego w Katowicach</subfield><subfield code="v">2554</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 180 - 186. - Zsfassung in poln. und dt. Sprache</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Modality (Logic)</subfield><subfield code="z">Automatisch aus GBV_2011-10 2012-06-23</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Unifikationstheorie</subfield><subfield code="D">s</subfield><subfield code="0">(DE-588)4186894-8</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">AT-OBV</subfield><subfield code="5">UBGSDL</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="w">(AT-OBV)AC00304992</subfield><subfield code="v">2554</subfield></datafield><datafield tag="970" ind1="1" ind2=" "><subfield code="c">33</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2023-03-20 17:29:34 Europe/Vienna</subfield><subfield code="d">20</subfield><subfield code="f">System</subfield><subfield code="c">marc21</subfield><subfield code="a">2018-12-24 07:19:11 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="HOL" ind1="8" ind2=" "><subfield code="b">YWOAW</subfield><subfield code="h"> 100570.2554 </subfield><subfield code="c">MAG2-1</subfield><subfield code="8">2216608320004498</subfield></datafield><datafield tag="852" ind1="8" ind2=" "><subfield code="b">YWOAW</subfield><subfield code="c">MAG2-1</subfield><subfield code="h"> 100570.2554 </subfield><subfield code="8">2216608320004498</subfield></datafield><datafield tag="ITM" ind1=" " ind2=" "><subfield code="9">2216608320004498</subfield><subfield code="e">1</subfield><subfield code="m">BOOK</subfield><subfield code="b">+YW10790205</subfield><subfield code="i">100570.2554</subfield><subfield code="2">MAG2-1</subfield><subfield code="o">20080521</subfield><subfield code="8">2316608310004498</subfield><subfield code="f">02</subfield><subfield code="p">2008-05-21 02:00:00 Europe/Vienna</subfield><subfield code="h">100570.2554</subfield><subfield code="1">YWOAW</subfield><subfield code="q">2022-06-28 18:37:45 Europe/Vienna</subfield></datafield></record></collection> |