The collected works of Alonzo Church /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Church, Alonzo, 1903-1995 (Autor)
Další autoři: Burge, Tyler, 1946- (Editor), Enderton, Herbert B., 1936-2010 (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Cambridge, Massachusetts : MIT Press, [2019]
Témata:
LEADER 02722nam a22006617i 4500
001 MUB01006446012
003 CZ BrMU
005 20220715104600.0
008 190628t20192019xxu||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2019-10-29 
020 |a 978-0-262-02564-5 
040 |a BOD018  |b cze  |d BOD001  |e rda 
072 7 |a 510  |x Obecné úvahy o matematice  |2 Konspekt  |9 13 
080 |a 510.21  |2 MRF 
080 |a 164.01  |2 MRF 
080 |a 510.6  |2 MRF 
080 |a 51  |2 MRF 
080 |a (081.1)  |2 MRF 
100 1 |a Church, Alonzo,  |d 1903-1995  |7 mzk2006354081  |4 aut 
245 1 4 |a The collected works of Alonzo Church /  |c Tyler Burge, chief editor, Herbert B. Enderton, editor 
264 1 |a Cambridge, Massachusetts :  |b MIT Press,  |c [2019] 
264 4 |c ©2019 
300 |a xxiv, 1189 stran :  |b ilustrace 
336 |a text  |b txt  |2 rdacontent 
337 |a bez média  |b n  |2 rdamedia 
338 |a svazek  |b nc  |2 rdacarrier 
500 |a Obsahuje bibliografii a rejstřík 
650 0 7 |a filozofie matematiky  |7 ph135376  |2 czenas 
650 0 7 |a matematická logika  |7 ph122671  |2 czenas 
650 0 7 |a matematika  |7 ph117231  |2 czenas 
650 0 7 |a symbolická logika  |7 ph126346  |2 czenas 
650 0 9 |a mathematical logic  |2 eczenas 
650 0 9 |a mathematics  |2 eczenas 
650 0 9 |a philosophy of mathematics  |2 eczenas 
650 0 9 |a symbolic logic  |2 eczenas 
655 7 |a sebrané spisy  |7 fd133355  |2 czenas 
655 9 |a collected works  |2 eczenas 
700 1 |a Burge, Tyler,  |d 1946-  |7 jo2013798157  |4 edt 
700 1 |a Enderton, Herbert B.,  |d 1936-2010  |7 xx0007240  |4 edt 
CAT |a LUKAS  |b 02  |c 20190628  |l MUB01  |h 1032 
CAT |a LUKAS  |b 02  |c 20190628  |l MUB01  |h 1034 
CAT |a VESELA  |b 02  |c 20190827  |l MUB01  |h 1331 
CAT |a VESELA  |b 02  |c 20190827  |l MUB01  |h 1332 
CAT |a VESELA  |b 02  |c 20190827  |l MUB01  |h 1333 
CAT |a VESELA  |b 02  |c 20190827  |l MUB01  |h 1334 
CAT |c 20191029  |l MUB01  |h 1054 
CAT |a SVOBODOVA  |b 02  |c 20200616  |l MUB01  |h 1140 
CAT |a BART  |b 02  |c 20200617  |l MUB01  |h 1026 
CAT |c 20210614  |l MUB01  |h 1034 
CAT |c 20210614  |l MUB01  |h 2020 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1311 
CAT |a VESELA  |b 02  |c 20220715  |l MUB01  |h 1046 
LOW |a POSLANO DO SKCR  |b 2019-10-29 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FF  |a FF - ustredni knihovna  |2 VYBER  |b volný výběr  |3 filozofie-RACL  |5 2572003449  |4 Zakázka 2387  |8 20200615  |f 77  |f Dlouhodobá  |r 20200615  |s grant1100 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 M631  |5 4200518809  |8 20190628  |f 77  |f Dlouhodobá  |g 2019-55  |r 20190827 
AVA |a INF50  |b FI  |c sklad  |d M631  |e unavailable  |t Není k dispozici  |f 1  |g 1  |h N  |i 0  |j SKLAD 
AVA |a FIL50  |b FF  |c volný výběr  |d filozofie-RACL  |e unavailable  |t Není k dispozici  |f 1  |g 1  |h N  |i 0  |j VYBER