Teorija dokazatel'stv /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Takeuti, Gaisi, 1926-2017 (Autor)
Další autoři: Soboleva, S. K. (Překladatel)
Typ dokumentu: Kniha
Jazyk:Ruština
Vydáno: Moskva : Mír, 1978
Témata:
Příbuzné jednotky:Přeloženo z: Proof theory
Obálka
LEADER 03505cam a22008417a 4500
001 MUB01000255936
003 CZ BrMU
005 20250203155857.0
008 030402s1978 ru ||||| |||||||||||rusod
STA |a POSLANO DO SKCR  |b 2010-01-05 
040 |a BOD003  |b cze  |d BOD003  |d BOD004  |d BOD022 
041 1 |a rus  |h eng 
072 7 |a 510  |x Obecné úvahy o matematice  |2 Konspekt  |9 13 
080 |a 510.6  |2 MRF 
080 |a 510  |2 MRF 
080 |a 168.3  |2 MRF 
080 |a (048.8)  |2 MRF 
100 1 |a Takeuti, Gaisi,  |d 1926-2017  |7 mub2015867633  |4 aut 
245 1 0 |a Teorija dokazatel'stv /  |c G. Takeuti ; perevod s anglijskogo S.K. Soboleva 
260 |a Moskva :  |b Mír,  |c 1978 
300 |a 412 s. 
650 0 7 |a matematická logika  |7 ph122671  |2 czenas 
650 0 7 |a matematika  |7 ph117231  |2 czenas 
650 0 7 |a teorie důkazu  |7 ph126551  |2 czenas 
650 0 9 |a mathematical logic  |2 eczenas 
650 0 9 |a mathematics  |2 eczenas 
650 0 9 |a proof theory  |2 eczenas 
655 7 |a monografie  |7 fd132842  |2 czenas 
655 9 |a monographs  |2 eczenas 
700 1 |a Soboleva, S. K.  |4 trl 
765 0 |t Proof theory  |9 Rusky 
CAT |a CONV-PF  |b 02  |c 20040903  |l MUB01  |h 1736 
CAT |a CONV-M04  |b 02  |c 20040919  |l MUB01  |h 1747 
CAT |a CONV-65DOT  |b 02  |c 20041004  |l MUB01  |h 0900 
CAT |a CONV-6XX  |b 02  |c 20041126  |l MUB01  |h 0817 
CAT |c 20050122  |l MUB01  |h 1239 
CAT |a CONV-653  |b 02  |c 20050213  |l MUB01  |h 2138 
CAT |a MS-650  |b 02  |c 20051101  |l MUB01  |h 2234 
CAT |a MS-6502  |b 02  |c 20051102  |l MUB01  |h 2222 
CAT |c 20070427  |l MUB01  |h 2129 
CAT |a JANA  |b 02  |c 20080226  |l MUB01  |h 1008 
CAT |a BATCH-UPD  |b 02  |c 20080319  |l MUB01  |h 0801 
CAT |a BATCH-UPD  |b 02  |c 20080416  |l MUB01  |h 0607 
CAT |c 20080429  |l MUB01  |h 1807 
CAT |c 20080429  |l MUB01  |h 1821 
CAT |c 20080602  |l MUB01  |h 1119 
CAT |c 20080604  |l MUB01  |h 0954 
CAT |a BATCH-UPD  |b 02  |c 20091102  |l MUB01  |h 0419 
CAT |a BATCH-UPD  |b 02  |c 20091102  |l MUB01  |h 2332 
CAT |c 20091202  |l MUB01  |h 2319 
CAT |c 20091203  |l MUB01  |h 1601 
CAT |a BATCH-UPD  |b 00  |c 20091219  |l MUB01  |h 0626 
CAT |c 20100105  |l MUB01  |h 1055 
CAT |a BATCH-UPD  |b 00  |c 20100501  |l MUB01  |h 0846 
CAT |a batch  |b 00  |c 20120323  |l MUB01  |h 2340 
CAT |c 20120610  |l MUB01  |h 1656 
CAT |a BATCH  |b 00  |c 20130301  |l MUB01  |h 2013 
CAT |c 20140127  |l MUB01  |h 1658 
CAT |c 20150701  |l MUB01  |h 1514 
CAT |a BATCH  |b 00  |c 20151224  |l MUB01  |h 0724 
CAT |a NEDOMOVAX  |b 02  |c 20161005  |l MUB01  |h 1015 
CAT |a BATCH-UPD  |b 02  |c 20180602  |l MUB01  |h 2351 
CAT |c 20210614  |l MUB01  |h 0837 
CAT |c 20210614  |l MUB01  |h 1829 
CAT |a FUKSOVA  |b 02  |c 20250114  |l MUB01  |h 1017 
CAT |a REPISOVA  |b 02  |c 20250203  |l MUB01  |h 1558 
LOW |a POSLANO DO SKCR  |b 2010-01-05 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 PEDF  |a Pedagogická fakulta  |2 KDEP  |b ÚK - depozitář  |3 DI-1122  |6 mat 80/1  |5 3201R49490  |8 20040903  |f 75  |f Měsíční SKLAD  |r 00000001  |s dar 
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-TAKE  |5 3145117948  |4 PČ: 2898-79, DPČ: 287-79, matematika  |8 20081006  |f 74  |f Měsíční  |q 20180711  |r 00000001 
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-TAKE  |5 3145340922  |8 20080226  |f 74  |f Měsíční  |q 20180711  |r 20080226  |s dar 
AVA |a PED50  |b PEDF  |c ÚK - depozitář  |d DI-1122  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0  |j KDEP 
AVA |a SCI50  |b PRIF  |c ÚK volný výběr  |d 510.6-TAKE  |e available  |t K dispozici  |f 2  |g 0  |h N  |i 0  |j PRFST