Advances in natural deduction : a celebration of Dag Prawitz's work /

Uloženo v:
Podrobná bibliografie
Další autoři: Pereira, Luiz Carlos (Editor), Haeusler, Edward Hermann (Editor), De Paiva, Valeria (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Dordrecht : Springer, [2014]
Edice:Trends in logic. Studia logica library, volume 39
Témata:
deduktivní logika
formální logika
logika
matematická logika
deductive logic
formal logic
logic
mathematical logic
sborníky konferencí
proceedings of conferences
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 02231nam a22005777i 4500
001 MUB01006464535
003 CZ BrMU
005 20200605103849.0
008 200603t20142014ne ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2020-09-21 
020 |a 978-94-007-7547-3 
040 |a BOD001  |b cze  |e rda 
072 7 |a 16  |x Logika  |2 Konspekt  |9 5 
080 |a 16  |2 MRF 
080 |a 162.2  |2 MRF 
080 |a 164  |2 MRF 
080 |a 510.6  |2 MRF 
080 |a (062.534)  |2 MRF 
245 0 0 |a Advances in natural deduction :  |b a celebration of Dag Prawitz's work /  |c Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva, editors 
264 1 |a Dordrecht :  |b Springer,  |c [2014] 
264 4 |c ©2014 
300 |a xvi, 279 stran 
336 |a text  |b txt  |2 rdacontent 
337 |a bez média  |b n  |2 rdamedia 
338 |a svazek  |b nc  |2 rdacarrier 
490 1 |a Trends in logic. Studia logica library,  |x 1572-6126 ;  |v volume 39 
650 0 7 |a deduktivní logika  |7 ph478618  |2 czenas 
650 0 7 |a formální logika  |7 ph120290  |2 czenas 
650 0 7 |a logika  |7 ph122436  |2 czenas 
650 0 7 |a matematická logika  |7 ph122671  |2 czenas 
650 0 9 |a deductive logic  |2 eczenas 
650 0 9 |a formal logic  |2 eczenas 
650 0 9 |a logic  |2 eczenas 
650 0 9 |a mathematical logic  |2 eczenas 
655 7 |a sborníky konferencí  |7 fd133333  |2 czenas 
655 9 |a proceedings of conferences  |2 eczenas 
700 1 |a Pereira, Luiz Carlos  |4 edt 
700 1 |a Haeusler, Edward Hermann  |4 edt 
700 1 |a De Paiva, Valeria  |4 edt 
830 0 |a Trends in logic.  |p Studia logica library,  |x 1572-6126 ;  |v volume 39 
CAT |a CHLADILOVA  |b 02  |c 20200603  |l MUB01  |h 1252 
CAT |a SVOBODOVA  |b 02  |c 20200605  |l MUB01  |h 0635 
CAT |a BART  |b 02  |c 20200605  |l MUB01  |h 1038 
CAT |c 20200921  |l MUB01  |h 1102 
CAT |c 20210614  |l MUB01  |h 1037 
CAT |c 20210614  |l MUB01  |h 2023 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1318 
LOW |a POSLANO DO SKCR  |b 2020-09-21 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FF  |a FF - ustredni knihovna  |2 VYBER  |b volný výběr  |3 filozofie-RACL  |5 2572003133  |4 Zakázka 2387  |8 20200603  |f 77  |f Dlouhodobá  |r 20200603  |s grant1100 
AVA |a FIL50  |b FF  |c volný výběr  |d filozofie-RACL  |e unavailable  |t Není k dispozici  |f 1  |g 1  |h N  |i 1  |j VYBER 

Podobné jednotky