Unification types in logic /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Dzik, Wojciech (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Katowice : Wydawnictvo Uniwersytetu Śląskiego, 2007.
Vydání:Wyd. 1.
Témata:
matematická logika
mathematical logic
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 02114nam a22005537a 4500
001 MUB01000552128
003 CZ BrMU
005 20110421130719.0
008 080613s2007 pl ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2017-06-28 
020 |a 978-83-226-1717-5 
040 |a BOD004  |b cze 
041 0 |a eng  |b pol  |b ger 
072 7 |a 510  |x Obecné úvahy o matematice  |2 Konspekt  |9 13 
080 |a 510.6  |2 MRF 
080 |a 510  |2 MRF 
100 1 |a Dzik, Wojciech  |7 mub2011635739  |4 aut 
245 1 0 |a Unification types in logic /  |c Wojciech Dzik. 
250 |a Wyd. 1. 
260 |a Katowice :  |b Wydawnictvo Uniwersytetu Śląskiego,  |c 2007. 
300 |a 192 s. 
504 |a Obsahuje bibliografii (s. 180-186) a rejstřík. 
546 |a Text v angličtině; resumé v polštině a němčině. 
650 0 7 |a matematická logika  |7 ph122671  |2 czenas 
650 0 9 |a mathematical logic  |2 eczenas 
CAT |a DRIMLOVA  |b 02  |c 20080613  |l MUB01  |h 0744 
CAT |a JANA  |b 02  |c 20080613  |l MUB01  |h 1508 
CAT |c 20081009  |l MUB01  |h 1440 
CAT |c 20081009  |l MUB01  |h 1535 
CAT |a BATCH-UPD  |b 02  |c 20091102  |l MUB01  |h 0647 
CAT |a BATCH-UPD  |b 02  |c 20091103  |l MUB01  |h 0149 
CAT |c 20091203  |l MUB01  |h 0212 
CAT |c 20091203  |l MUB01  |h 1855 
CAT |a BATCH-UPD  |b 00  |c 20091219  |l MUB01  |h 0755 
CAT |a BATCH-UPD  |b 00  |c 20100501  |l MUB01  |h 1155 
CAT |a POSPEL  |b 02  |c 20110421  |l MUB01  |h 1307 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0115 
CAT |c 20120610  |l MUB01  |h 1925 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 1009 
CAT |c 20150404  |l MUB01  |h 0321 
CAT |a BATCH  |b 00  |c 20151225  |l MUB01  |h 2334 
CAT |c 20170628  |l MUB01  |h 1107 
CAT |c 20210614  |l MUB01  |h 0932 
CAT |c 20210614  |l MUB01  |h 1921 
CAT |a VACOVAX  |b 02  |c 20211122  |l MUB01  |h 0938 
LOW |a POSLANO DO SKCR  |b 2017-06-28 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 PRIF  |a Přírodovědecká fakulta  |2 PRFST  |b ÚK volný výběr  |3 510.6-DZIK  |5 3145342275  |8 20080613  |f 74  |f Měsíční  |q 20180711  |r 20080613  |s výměna 
AVA |a SCI50  |b PRIF  |c ÚK volný výběr  |d 510.6-DZIK  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0  |j PRFST 

Podobné jednotky