Elements of the theory of completeness in propositional logic /

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Pogorzelski, Witold, 1895-1963 (Autor), Wojtylak, Piotr (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Katowice : Silesian University, 1982.
Edice:Prace naukowe uniwersytetu Śląskiego w Katowicach ; nr. 512
Témata:
LEADER 02613cam a22006617a 4500
001 MUB01000350802
003 CZ BrMU
005 20150728113500.0
008 000209s1982 pl ||||| |||||||||||eng|d
STA |a POSLANO DO SKCR  |b 2010-02-09 
020 |a 83-00-00351-7 
040 |a BOD004  |b cze  |d BOD004 
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 Pogorzelski, Witold,  |d 1895-1963  |7 mzk2014817481  |4 aut 
245 1 0 |a Elements of the theory of completeness in propositional logic /  |c Witold A. Pogorzelski, Piotr Wojtylak. 
260 |a Katowice :  |b Silesian University,  |c 1982. 
300 |a 143 s. 
490 1 |a Prace naukowe uniwersytetu Śląskiego w Katowicach ;  |v nr. 512 
650 0 7 |a matematická logika  |7 ph122671  |2 czenas 
650 0 9 |a mathematical logic  |2 eczenas 
655 7 |a monografie  |7 fd132842  |2 czenas 
700 1 |a Wojtylak, Piotr  |4 aut 
830 0 |a Prace naukowe uniwersytetu Śląskiego w Katowicach ;  |v nr. 512 
CAT |a CONV-PRIF  |b 02  |c 20041229  |l MUB01  |h 1334 
CAT |c 20050122  |l MUB01  |h 1255 
CAT |a CONV-653  |b 02  |c 20050213  |l MUB01  |h 2151 
CAT |c 20070427  |l MUB01  |h 2141 
CAT |a BATCH-UPD  |b 02  |c 20080319  |l MUB01  |h 0714 
CAT |c 20080429  |l MUB01  |h 1809 
CAT |c 20080429  |l MUB01  |h 1824 
CAT |c 20080602  |l MUB01  |h 1122 
CAT |c 20080604  |l MUB01  |h 0957 
CAT |a ZITTERBART  |b 02  |c 20080918  |l MUB01  |h 1034 
CAT |a BATCH-UPD  |b 02  |c 20091102  |l MUB01  |h 0439 
CAT |a BATCH-UPD  |b 02  |c 20091102  |l MUB01  |h 2359 
CAT |c 20091203  |l MUB01  |h 0028 
CAT |c 20091203  |l MUB01  |h 1704 
CAT |a BATCH-UPD  |b 00  |c 20091219  |l MUB01  |h 0640 
CAT |c 20100209  |l MUB01  |h 0938 
CAT |a BATCH-UPD  |b 00  |c 20100501  |l MUB01  |h 0951 
CAT |c 20101015  |l MUB01  |h 2224 
CAT |c 20101016  |l MUB01  |h 0232 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0014 
CAT |c 20120610  |l MUB01  |h 1716 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 0300 
CAT |c 20140127  |l MUB01  |h 1746 
CAT |c 20150403  |l MUB01  |h 2238 
CAT |a VASICEKX  |b 02  |c 20150728  |l MUB01  |h 1135 
CAT |a BATCH  |b 00  |c 20151224  |l MUB01  |h 0910 
CAT |c 20210614  |l MUB01  |h 0856 
CAT |c 20210614  |l MUB01  |h 1847 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1043 
LOW |a POSLANO DO SKCR  |b 2010-02-09 
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-POGO  |6 484  |5 3145025073  |4 DPČ: 068/84  |8 20041229  |f 74  |f Měsíční  |q 20180711  |r 00000001 
AVA |a SCI50  |b PRIF  |c ÚK volný výběr  |d 510.6-POGO  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 1  |j PRFST