The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions /

Uloženo v:
Podrobná bibliografie
Další autoři: Davis, Martin, 1928-2023 (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Mineola, New York : Dover Publications, 2004.
Vydání:1st pub.
Témata:
LEADER 02325nam a22006137a 4500
001 MUB01000534264
003 CZ BrMU
005 20090918150447.0
008 071129s2004 xxu||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2017-03-06 
020 |a 0-486-43228-9 
040 |a BOD001  |b cze 
072 7 |a 510  |x Obecné úvahy o matematice  |2 Konspekt  |9 13 
080 |a (082)  |2 MRF 
080 |a 510.6  |2 MRF 
245 0 4 |a The undecidable :  |b basic papers on undecidable propositions, unsolvable problems, and computable functions /  |c edited by Martin Davis. 
250 |a 1st pub. 
260 |a Mineola, New York :  |b Dover Publications,  |c 2004. 
300 |a 413 s. 
650 0 7 |a matematická logika  |7 ph122671  |2 czenas 
650 0 9 |a mathematical logic  |2 eczenas 
655 7 |a sborníky  |7 fd163935  |2 czenas 
700 1 |a Davis, Martin,  |d 1928-2023  |7 xx0012596  |4 edt 
CAT |a LUCKA  |b 02  |c 20071129  |l MUB01  |h 1136 
CAT |a PRESOVA  |b 02  |c 20071130  |l MUB01  |h 1102 
CAT |a PTICHA  |b 02  |c 20071130  |l MUB01  |h 1434 
CAT |c 20080429  |l MUB01  |h 1814 
CAT |c 20080429  |l MUB01  |h 1828 
CAT |a LENKA  |b 02  |c 20090918  |l MUB01  |h 1504 
CAT |a BATCH-UPD  |b 02  |c 20091102  |l MUB01  |h 0626 
CAT |a BATCH-UPD  |b 02  |c 20091103  |l MUB01  |h 0138 
CAT |c 20091203  |l MUB01  |h 0201 
CAT |c 20091203  |l MUB01  |h 1844 
CAT |a BATCH-UPD  |b 00  |c 20091219  |l MUB01  |h 0746 
CAT |a BATCH-UPD  |b 00  |c 20100527  |l MUB01  |h 2139 
CAT |c 20111108  |l MUB01  |h 1730 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0108 
CAT |c 20120601  |l MUB01  |h 1428 
CAT |c 20120610  |l MUB01  |h 1910 
CAT |c 20121111  |l MUB01  |h 2022 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 0936 
CAT |c 20140127  |l MUB01  |h 1839 
CAT |c 20150404  |l MUB01  |h 0254 
CAT |a BATCH  |b 00  |c 20151225  |l MUB01  |h 2310 
CAT |c 20170306  |l MUB01  |h 1038 
CAT |c 20210614  |l MUB01  |h 0928 
CAT |c 20210614  |l MUB01  |h 1917 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1131 
CAT |a BATCH-UPD  |b 00  |c 20230105  |l MUB01  |h 2356 
M54 |a 51 
LOW |a POSLANO DO SKCR  |b 2017-03-06 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FF  |a FF - ustredni knihovna  |2 SKLAD  |b sklad  |3 A1-31431  |5 2570713834  |4 *--Zakázka 3111  |8 20071129  |f 75  |f Měsíční SKLAD  |r 00000001  |s grant1100 
AVA |a FIL50  |b FF  |c sklad  |d A1-31431  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 1  |j SKLAD