Three views of logic : mathematics, philosophy, and computer science /

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Loveland, Donald W. (Autor), Hodel, Richard E. (Autor), Sterrett, S. G. (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Princeton : Princeton University Press, [2014]
Témata:
logika
matematická logika
počítačová věda
teorie důkazu
teorie vyčíslitelnosti
computability theory
computer science
logic
mathematical logic
proof theory
učebnice vysokých škol
textbooks (higher)
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 02369nam a22006377i 4500
001 MUB01006345003
003 CZ BrMU
005 20200129110245.0
008 150721s2014 xxu||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2016-03-09 
020 |a 978-0-691-16044-3 
040 |a BOD001  |b cze  |e rda 
072 7 |a 510  |x Obecné úvahy o matematice  |2 Konspekt  |9 13 
080 |a 16  |2 MRF 
080 |a 510.6  |2 MRF 
080 |a 004  |2 MRF 
080 |a 168.3  |2 MRF 
080 |a 510.57  |2 MRF 
080 |a (075.8)  |2 MRF 
100 1 |a Loveland, Donald W.  |4 aut 
245 1 0 |a Three views of logic :  |b mathematics, philosophy, and computer science /  |c Donald W. Loveland, Richard E. Hodel, S.G. Sterrett 
264 1 |a Princeton :  |b Princeton University Press,  |c [2014] 
300 |a xv, 322 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 logika  |7 ph122436  |2 czenas 
650 0 7 |a matematická logika  |7 ph122671  |2 czenas 
650 0 7 |a počítačová věda  |7 ph124511  |2 czenas 
650 0 7 |a teorie důkazu  |7 ph126551  |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 computer science  |2 eczenas 
650 0 9 |a logic  |2 eczenas 
650 0 9 |a mathematical logic  |2 eczenas 
650 0 9 |a proof theory  |2 eczenas 
655 7 |a učebnice vysokých škol  |7 fd133772  |2 czenas 
655 9 |a textbooks (higher)  |2 eczenas 
700 1 |a Hodel, Richard E.  |7 mub2015867631  |4 aut 
700 1 |a Sterrett, S. G.  |4 aut 
CAT |a MACHACKOVA  |b 02  |c 20150721  |l MUB01  |h 1137 
CAT |a SVOBODOVA  |b 02  |c 20150723  |l MUB01  |h 0825 
CAT |a PTICHA  |b 02  |c 20150727  |l MUB01  |h 1458 
CAT |a BATCH  |b 00  |c 20151226  |l MUB01  |h 0551 
CAT |c 20160303  |l MUB01  |h 1236 
CAT |c 20160308  |l MUB01  |h 1508 
CAT |c 20160309  |l MUB01  |h 1110 
CAT |a HOLOUBKOVA  |b 02  |c 20200129  |l MUB01  |h 1102 
CAT |c 20210614  |l MUB01  |h 1015 
CAT |c 20210614  |l MUB01  |h 2002 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1239 
M54 |a 51 
LOW |a POSLANO DO SKCR  |b 2016-03-09 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FF  |a FF - ustredni knihovna  |2 SKLAD  |b sklad  |3 A3-8946  |5 2571509229  |4 *--zakázka 2805  |8 20150721  |f 75  |f Měsíční SKLAD  |r 20150721  |s grant1100 
AVA |a FIL50  |b FF  |c sklad  |d A3-8946  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 1  |j SKLAD 

Podobné jednotky