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!
|
| LEADER | 01418nam#a2200469#cb4500 | ||
|---|---|---|---|
| 001 | 990001589000504498 | ||
| 005 | 20230320172934.0 | ||
| 007 | tu | ||
| 008 | 080416|2007####|||###########|||#|#eng#c | ||
| 009 | AC06699521 | ||
| 020 | |a 9788322617175 | ||
| 035 | |a (AT-OBV)AC06699521 | ||
| 035 | |a AC06699521 | ||
| 035 | |a (Aleph)006626976ACC01 | ||
| 035 | |a (DE-599)OBVAC06699521 | ||
| 035 | |a (EXLNZ-43ACC_NETWORK)990066269760203331 | ||
| 040 | |a UBG |b ger |d UBW |e rakwb | ||
| 041 | |a eng | ||
| 044 | |c XA-PL | ||
| 084 | |a 31.10 |2 bkl |9 O: Automatisch generiert aus Konkordanz MSC-BK | ||
| 084 | |a 03B35 |2 msc | ||
| 084 | |a 03-02 |2 msc | ||
| 084 | |a 03G25 |2 msc | ||
| 084 | |a 03B45 |2 msc | ||
| 084 | |a 03B55 |2 msc | ||
| 084 | |a 03B20 |2 msc | ||
| 084 | |a 03B99 |2 msc | ||
| 084 | |a 03B44 |2 msc | ||
| 084 | |a 03B42 |2 msc | ||
| 084 | |a 68Q42 |2 msc | ||
| 084 | |a 03C05 |2 msc | ||
| 100 | 1 | |a Dzik, Wojciech |4 aut | |
| 245 | 1 | 0 | |a Unification types in logic |c Wojciech Dzik |
| 250 | |a Wyd. 1 | ||
| 264 | 1 | |a Katowice |b Wydawn. Uniw. Śląskiego |c 2007 | |
| 300 | |a 192 S. |b graph. Darst. |c 24 cm | ||
| 490 | 1 | |a Prace naukowe Uniwersytetu Śląskiego w Katowicach |v 2554 | |
| 500 | |a Literaturverz. S. 180 - 186. - Zsfassung in poln. und dt. Sprache | ||
| 650 | 0 | |a Modality (Logic) |z Automatisch aus GBV_2011-10 2012-06-23 | |
| 689 | 0 | 0 | |a Unifikationstheorie |D s |0 (DE-588)4186894-8 |
| 689 | 0 | |5 AT-OBV |5 UBGSDL | |
| 830 | 0 | |w (AT-OBV)AC00304992 |v 2554 | |
| 970 | 1 | |c 33 | |
| ADM | |b 2023-03-20 17:29:34 Europe/Vienna |d 20 |f System |c marc21 |a 2018-12-24 07:19:11 Europe/Vienna |g false | ||
| HOL | 8 | |b YWOAW |h 100570.2554 |c MAG2-1 |8 2216608320004498 | |
| 852 | 8 | |b YWOAW |c MAG2-1 |h 100570.2554 |8 2216608320004498 | |
| ITM | |9 2216608320004498 |e 1 |m BOOK |b +YW10790205 |i 100570.2554 |2 MAG2-1 |o 20080521 |8 2316608310004498 |f 02 |p 2008-05-21 02:00:00 Europe/Vienna |h 100570.2554 |1 YWOAW |q 2022-06-28 18:37:45 Europe/Vienna | ||