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: Stockholm : Almqvist & Wiksell, 1965.
Edice:Acta Universitatis Stockholmiensis. Stockholm studies in philosophy ; 3
Obálka
LEADER 01685nam a22004337a 4500
001 MUB01000546605
003 CZ BrMU
005 20230911121540.0
008 080409s1965 sw ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2017-05-09 
040 |a BOD001  |b cze 
072 7 |a 14  |x Filozofické systémy a hlediska  |2 Konspekt  |9 5 
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 Stockholm :  |b Almqvist & Wiksell,  |c 1965. 
300 |a 113 s. 
490 1 |a Acta Universitatis Stockholmiensis. Stockholm studies in philosophy ;  |v 3 
830 0 |a Acta Universitatis Stockholmiensis.  |p Stockholm studies in philosophy ;  |v 3 
CAT |a HANKA  |b 02  |c 20080409  |l MUB01  |h 1224 
CAT |c 20080429  |l MUB01  |h 1814 
CAT |c 20080429  |l MUB01  |h 1829 
CAT |c 20091203  |l MUB01  |h 0209 
CAT |c 20091203  |l MUB01  |h 1852 
CAT |a BATCH-UPD  |b 00  |c 20100501  |l MUB01  |h 1151 
CAT |c 20101015  |l MUB01  |h 2319 
CAT |c 20101016  |l MUB01  |h 0343 
CAT |c 20111108  |l MUB01  |h 1734 
CAT |c 20120601  |l MUB01  |h 1434 
CAT |c 20121111  |l MUB01  |h 1926 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 0957 
CAT |a BATCH  |b 00  |c 20151225  |l MUB01  |h 2326 
CAT |a VASICEKX  |b 02  |c 20160121  |l MUB01  |h 1338 
CAT |c 20170509  |l MUB01  |h 0934 
CAT |a VACOVAX  |b 02  |c 20230911  |l MUB01  |h 1215 
M54 |a 1 
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-4624  |6 72-9727  |5 257R104901  |8 20080409  |f 75  |f Měsíční SKLAD  |r 20080407  |s retro 
AVA |a FIL50  |b FF  |c sklad  |d A1-4624  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0  |j SKLAD