Thinking about Gödel and Turing : essays on complexity 1970-2007 /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Chaitin, Gregory J., 1947- (Autor)
Další autoři: Beynon-Davies, Paul, 1957- (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Hackensack, N.J. : World Scientific, c2007
Témata:
LEADER 02619cam a22006617a 4500
001 MUB01000670024
003 CZ BrMU
005 20210517082233.0
008 110216s2007 xxu||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2019-11-27 
020 |a 978-981-270-896-0  |q (pbk.)  |z 981-270-896-0 
020 |a 978-981-270-895-3  |z 981-270-895-2 
040 |a BOD018  |b cze  |d BOD114 
072 7 |a 510  |x Obecné úvahy o matematice  |2 Konspekt  |9 13 
080 |a 16  |2 MRF 
080 |a 164.01  |2 MRF 
080 |a 510.21  |2 MRF 
080 |a 510.52  |2 MRF 
080 |a 510  |2 MRF 
100 1 |a Chaitin, Gregory J.,  |d 1947-  |7 pna2015853949  |4 aut 
245 1 0 |a Thinking about Gödel and Turing :  |b essays on complexity 1970-2007 /  |c Gregory J Chaitim ; with a foreword by Paul Davies 
246 3 0 |a Godel and Turing 
260 |a Hackensack, N.J. :  |b World Scientific,  |c c2007 
300 |a xix, 347 s. 
504 |a Obsahuje bibliografii a rejstřík 
650 0 7 |a filozofie matematiky  |7 ph135376  |2 czenas 
650 0 7 |a logika  |7 ph122436  |2 czenas 
650 0 7 |a symbolická logika  |7 ph126346  |2 czenas 
650 0 7 |a teorie složitosti  |7 ph305884  |2 czenas 
650 0 9 |a complexity theory  |2 eczenas 
650 0 9 |a logic  |2 eczenas 
650 0 9 |a philosophy of mathematics  |2 eczenas 
650 0 9 |a symbolic logic  |2 eczenas 
655 7 |a monografie  |7 fd132842  |2 czenas 
655 9 |a monographs  |2 eczenas 
700 1 |a Beynon-Davies, Paul,  |d 1957-  |7 mub2012716090  |4 edt 
CAT |a KOVAROVA  |b 02  |c 20110216  |l MUB01  |h 0915 
CAT |a KOZOVA  |b 02  |c 20110314  |l MUB01  |h 1304 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0146 
CAT |c 20120610  |l MUB01  |h 2021 
CAT |a BATCH  |b 00  |c 20130304  |l MUB01  |h 1213 
CAT |c 20150404  |l MUB01  |h 0624 
CAT |a BATCH  |b 00  |c 20151226  |l MUB01  |h 0146 
CAT |a HONIGOVAX  |b 02  |c 20161102  |l MUB01  |h 1659 
CAT |a HANAV  |b 02  |c 20170322  |l MUB01  |h 0021 
CAT |a HANAV  |b 02  |c 20170525  |l MUB01  |h 2332 
CAT |a SVERAKOVAX  |b 02  |c 20171013  |l MUB01  |h 1545 
CAT |a VESELA  |b 02  |c 20190530  |l MUB01  |h 1355 
CAT |c 20191127  |l MUB01  |h 1401 
CAT |a PUTNOVAX  |b 02  |c 20210517  |l MUB01  |h 0822 
CAT |c 20210614  |l MUB01  |h 0952 
CAT |c 20210614  |l MUB01  |h 1941 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1203 
LOW |a POSLANO DO SKCR  |b 2019-11-27 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 B988 - skříň  |5 4200516578  |8 20111017  |f 74  |f Měsíční  |g 2011-172  |r 20111114 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 B988  |5 4200516330  |8 20110216  |f 74  |f Měsíční  |g 2011-26  |r 20110314 
AVA |a INF50  |b FI  |d B988 - skříň  |e available  |t K dispozici  |f 2  |g 0  |h N  |i 4  |k 0