Computability : Turing, Gödel, Church, and beyond /

Uloženo v:
Podrobná bibliografie
Další autoři: Copeland, B. Jack, 1950- (Editor), Posy, Carl J. (Editor), Shagrir, Oron (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Cambridge, Massachusetts : The MIT Press, 2015
Vydání:First MIT Press paperback edition
Témata:
matematika > filozofické aspekty
teorie vyčíslitelnosti
computability theory
mathematics > philosophical aspects
sborníky
papers of several authors
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 02041nam a22005297i 4500
001 MUB01006393344
003 CZ BrMU
005 20190604165504.0
008 170606s2015 xxu||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2017-10-08 
020 |a 978-0-262-52748-4 
040 |a BOD001  |b cze  |e rda 
072 7 |a 510  |x Obecné úvahy o matematice  |2 Konspekt  |9 13 
080 |a 510.57  |2 MRF 
080 |a 51  |2 MRF 
080 |a 101  |2 MRF 
080 |a (082)  |2 MRF 
245 0 0 |a Computability :  |b Turing, Gödel, Church, and beyond /  |c edited by Jack Copeland, Carl J. Posy, and Oron Shagrir 
250 |a First MIT Press paperback edition 
264 1 |a Cambridge, Massachusetts :  |b The MIT Press,  |c 2015 
300 |a x, 362 stran 
336 |a text  |b txt  |2 rdacontent 
337 |a bez média  |b n  |2 rdamedia 
338 |a svazek  |b nc  |2 rdacarrier 
650 0 7 |a matematika  |7 ph117231  |x filozofické aspekty  |2 czenas 
650 0 7 |a teorie vyčíslitelnosti  |7 ph678150  |2 czenas 
650 0 9 |a computability theory  |2 eczenas 
650 0 9 |a mathematics  |x philosophical aspects  |2 eczenas 
655 7 |a sborníky  |7 fd163935  |2 czenas 
655 9 |a papers of several authors  |2 eczenas 
700 1 |a Copeland, B. Jack,  |d 1950-  |7 jo2008427087  |4 edt 
700 1 |a Posy, Carl J.  |4 edt 
700 1 |a Shagrir, Oron  |4 edt 
CAT |a CHLADILOVA  |b 02  |c 20170606  |l MUB01  |h 0951 
CAT |a SVOBODOVA  |b 02  |c 20170607  |l MUB01  |h 1116 
CAT |a PTICHA  |b 02  |c 20170608  |l MUB01  |h 0942 
CAT |c 20171008  |l MUB01  |h 1000 
CAT |a SVOBODOVA  |b 02  |c 20190531  |l MUB01  |h 0517 
CAT |a KOURILOVAX  |b 02  |c 20190604  |l MUB01  |h 1655 
CAT |c 20210614  |l MUB01  |h 1024 
CAT |c 20210614  |l MUB01  |h 2010 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1254 
M54 |a 51 
LOW |a POSLANO DO SKCR  |b 2017-10-08 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FF  |a FF - ustredni knihovna  |2 SKLAD  |b sklad  |3 A1-45477  |5 2571706962  |4 *--zakázka 2805  |8 20170606  |f 75  |f Měsíční SKLAD  |r 20170606  |s grant1100 
AVA |a FIL50  |b FF  |c sklad  |d A1-45477  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 1  |j SKLAD 

Podobné jednotky