Úplnost a neúplnost /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Gödel, Kurt, 1906-1978 (Autor)
Další autoři: Švandová, Blažena, 1945- (Překladatel), Švejdar, Vítězslav, 1954- (Autor úvodu atd.)
Typ dokumentu: Kniha
Jazyk:Čeština
Vydáno: Kanina : OPS, 2015
Vydání:První vydání
Edice:Proudy evropské vzdělanosti ; 2. svazek
Témata:
aritmetika
matematická logika
teorie důkazu
arithmetic
mathematical logic
proof theory
pojednání
kritická vydání
essays
critical issues
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 02760nam a22006857i 4500
001 MUB01006365905
003 CZ BrMU
005 20161214112058.0
008 160509s2015 xr ||||| |||||||||||cze d
STA |a POSLANO DO SKCR  |b 2016-08-11 
015 |a cnb002649355 
020 |a 978-80-87269-39-8  |q (OPS) 
020 |a 978-80-261-0305-9  |q (Západočeská univerzita v Plzni) 
040 |a BOD001  |b cze  |d BOD004  |e rda 
041 1 |a cze  |h ger 
072 7 |a 510  |x Obecné úvahy o matematice  |2 Konspekt  |9 13 
080 |a 510.6  |2 MRF 
080 |a 511.1  |2 MRF 
080 |a 168.3  |2 MRF 
080 |a (049)  |2 MRF 
080 |a (0.027)  |2 MRF 
100 1 |a Gödel, Kurt,  |d 1906-1978  |7 jn20000602196  |4 aut 
245 1 0 |a Úplnost a neúplnost /  |c Kurt Gödel ; přeložila Blažena Švandová ; předmluva Vítězslav Švejdar 
250 |a První vydání 
264 1 |a Kanina :  |b OPS,  |c 2015 
300 |a 135 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 Proudy evropské vzdělanosti ;  |v 2. svazek 
650 0 7 |a aritmetika  |7 ph118605  |2 czenas 
650 0 7 |a matematická logika  |7 ph122671  |2 czenas 
650 0 7 |a teorie důkazu  |7 ph126551  |2 czenas 
650 0 9 |a arithmetic  |2 eczenas 
650 0 9 |a mathematical logic  |2 eczenas 
650 0 9 |a proof theory  |2 eczenas 
655 7 |a pojednání  |7 fd133056  |2 czenas 
655 7 |a kritická vydání  |7 fd249727  |2 czenas 
655 9 |a essays  |2 eczenas 
655 9 |a critical issues  |2 eczenas 
700 1 |a Švandová, Blažena,  |d 1945-  |7 jn20001005208  |4 trl 
700 1 |a Švejdar, Vítězslav,  |d 1954-  |7 xx0004148  |4 aui 
830 0 |a Proudy evropské vzdělanosti ;  |v 2. svazek 
CAT |a CHLADILOVA  |b 02  |c 20160509  |l MUB01  |h 1501 
CAT |a PRESOVA  |b 02  |c 20160603  |l MUB01  |h 1522 
CAT |a PRESOVA  |b 02  |c 20160616  |l MUB01  |h 1045 
CAT |a KREKOVA  |b 02  |c 20160620  |l MUB01  |h 1228 
CAT |c 20160811  |l MUB01  |h 1145 
CAT |a DRIMLOVA  |b 02  |c 20161214  |l MUB01  |h 1120 
CAT |c 20200226  |l MUB01  |h 2359 
CAT |c 20210614  |l MUB01  |h 1019 
CAT |c 20210614  |l MUB01  |h 2006 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1246 
M54 |a 51 
LOW |a POSLANO DO SKCR  |b 2016-08-11 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FF  |a FF - ustredni knihovna  |2 VYBER  |b volný výběr  |3 51-GÖDE1-1  |5 2571605270  |4 *  |8 20160509  |f 74  |f Měsíční  |r 20160509  |s kup 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 PRIF  |a Přírodovědecká fakulta  |2 PRVMA  |b ÚK volný výběr - M  |3 510.6-GÖDE  |5 3145369676  |8 20161214  |f 74  |f Měsíční  |q 20180711  |r 20161214  |s kup 
AVA |a FIL50  |b FF  |c volný výběr  |d 51-GÖDE1-1  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 3  |j VYBER 
AVA |a SCI50  |b PRIF  |c ÚK volný výběr - M  |d 510.6-GÖDE  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 4  |j PRVMA 

Podobné jednotky