Natural deduction : a proof-theoretical study /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Prawitz, Dag, 1936- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Mineola, N.Y. : Dover Publications, c2006
Edice:Dover books on mathematics
Témata:
LEADER 03344cam a22008417a 4500
001 MUB01000547406
003 CZ BrMU
005 20230911121522.0
008 080418s2006 xxu||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2017-05-09 
020 |a 0-486-44655-7  |q (pbk.)  |z 9780486446554 
040 |a BOD001  |b cze  |d BOD004 
072 7 |a 16  |x Logika  |2 Konspekt  |9 5 
080 |a (048.8)  |2 MRF 
080 |a 161.26  |2 MRF 
080 |a 162.2  |2 MRF 
080 |a 164.01  |2 MRF 
080 |a 510.6  |2 MRF 
100 1 |a Prawitz, Dag,  |d 1936-  |7 xx0306612  |4 aut 
245 1 0 |a Natural deduction :  |b a proof-theoretical study /  |c Dag Prawitz 
260 |a Mineola, N.Y. :  |b Dover Publications,  |c c2006 
300 |a viii, 113 s. 
490 1 |a Dover books on mathematics 
504 |a Obsahuje bibliografii (s. [106]-109) a rejstříky 
650 0 7 |a deduktivní logika  |7 ph478618  |2 czenas 
650 0 7 |a matematická logika  |7 ph122671  |2 czenas 
650 0 7 |a modalita (logika)  |7 ph294123  |2 czenas 
650 0 7 |a symbolická logika  |7 ph126346  |2 czenas 
650 0 9 |a deductive logic  |2 eczenas 
650 0 9 |a mathematical logic  |2 eczenas 
650 0 9 |a modality (logic)  |2 eczenas 
650 0 9 |a symbolic logic  |2 eczenas 
655 7 |a studie  |7 fd133597  |2 czenas 
830 0 |a Dover books on mathematics 
CAT |a ZIMOLOVA  |b 02  |c 20080418  |l MUB01  |h 1021 
CAT |a PRESOVA  |b 02  |c 20080428  |l MUB01  |h 1629 
CAT |c 20080429  |l MUB01  |h 1814 
CAT |c 20080429  |l MUB01  |h 1829 
CAT |a PTICHA  |b 02  |c 20080506  |l MUB01  |h 0910 
CAT |a LENKA  |b 02  |c 20080529  |l MUB01  |h 0952 
CAT |a BATCH-UPD  |b 02  |c 20091102  |l MUB01  |h 0642 
CAT |a BATCH-UPD  |b 02  |c 20091103  |l MUB01  |h 0146 
CAT |c 20091203  |l MUB01  |h 0209 
CAT |c 20091203  |l MUB01  |h 1852 
CAT |a BATCH-UPD  |b 00  |c 20091219  |l MUB01  |h 0753 
CAT |a BATCH-UPD  |b 00  |c 20100501  |l MUB01  |h 1152 
CAT |a BATCH-UPD  |b 00  |c 20100526  |l MUB01  |h 1737 
CAT |c 20101015  |l MUB01  |h 2319 
CAT |c 20101016  |l MUB01  |h 0343 
CAT |c 20111108  |l MUB01  |h 1734 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0113 
CAT |a ANTLOVA  |b 02  |c 20120330  |l MUB01  |h 1248 
CAT |a MENSIKOVA  |b 02  |c 20120403  |l MUB01  |h 1422 
CAT |c 20120601  |l MUB01  |h 1435 
CAT |c 20120610  |l MUB01  |h 1920 
CAT |c 20121111  |l MUB01  |h 2024 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 0959 
CAT |c 20140127  |l MUB01  |h 1844 
CAT |c 20150404  |l MUB01  |h 0312 
CAT |a BATCH  |b 00  |c 20151225  |l MUB01  |h 2327 
CAT |a VASICEKX  |b 02  |c 20160121  |l MUB01  |h 1339 
CAT |c 20170509  |l MUB01  |h 0934 
CAT |c 20210614  |l MUB01  |h 0931 
CAT |c 20210614  |l MUB01  |h 1920 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1135 
CAT |a VACOVAX  |b 02  |c 20230911  |l MUB01  |h 1215 
M54 |a 16 
LOW |a POSLANO DO SKCR  |b 2017-05-09 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FF  |a FF - ustredni knihovna  |2 SKLAD  |b sklad  |3 A1-44415  |5 2570804167  |4 *--Zakázka 2115  |8 20080418  |f 75  |f Měsíční SKLAD  |r 00000001  |s grant1100 
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-PRAW  |5 3145354248  |4 grant UMS (Paseka)  |7 pbk.  |8 20120330  |f 77  |f Dlouhodobá  |q 20190812  |r 20120330  |s kup 
AVA |a FIL50  |b FF  |c sklad  |d A1-44415  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 1  |j SKLAD 
AVA |a SCI50  |b PRIF  |c ÚK volný výběr  |d 510.6-PRAW  |e unavailable  |t Není k dispozici  |f 1  |g 1  |h N  |i 0  |j PRFST