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!
|
Be the first to leave a comment!