The mathematics of logic : a guide to completeness theorems and their applications /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Kaye, Richard (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Cambridge ; New York [N.Y.] : Cambridge University Press, 2007
Vydání:1 st pub.
Témata:
LEADER 01757nam a22004337a 4500
001 MUB01000659519
003 CZ BrMU
005 20101115154351.0
008 101110s2007 xxk||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2019-09-10 
020 |a 978-0-521-88219-4  |q (hardback) 
020 |a 978-0-521-70877-7  |q (paperback) 
040 |a BOD004  |b cze 
072 7 |a 510  |x Obecné úvahy o matematice  |2 Konspekt  |9 13 
080 |a 510.6  |2 MRF 
080 |a 510  |2 MRF 
100 1 |a Kaye, Richard  |7 vse2005267161  |4 aut 
245 1 4 |a The mathematics of logic :  |b a guide to completeness theorems and their applications /  |c Richard Kaye 
250 |a 1 st pub. 
260 |a Cambridge ;  |a New York [N.Y.] :  |b Cambridge University Press,  |c 2007 
300 |a xii, 204 s. 
504 |a Obsahuje bibliografii (s. 199) a rejstřík 
650 0 7 |a matematická logika  |7 ph122671  |2 czenas 
650 0 9 |a mathematical logic  |2 eczenas 
CAT |a ANTLOVA  |b 02  |c 20101110  |l MUB01  |h 1444 
CAT |a ANTLOVA  |b 02  |c 20101110  |l MUB01  |h 1504 
CAT |a JANA  |b 02  |c 20101115  |l MUB01  |h 1543 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0143 
CAT |c 20120610  |l MUB01  |h 2016 
CAT |a BATCH  |b 00  |c 20130304  |l MUB01  |h 1144 
CAT |c 20150404  |l MUB01  |h 0611 
CAT |a BATCH  |b 00  |c 20151226  |l MUB01  |h 0133 
CAT |c 20190910  |l MUB01  |h 1253 
CAT |c 20210614  |l MUB01  |h 0950 
CAT |c 20210614  |l MUB01  |h 1939 
LOW |a POSLANO DO SKCR  |b 2019-09-10 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 PRIF  |a Přírodovědecká fakulta  |2 PRFST  |b ÚK volný výběr  |3 510.6-KAYE  |5 3145349722  |4 grant prof. Rosický  |7 pbk., dotisk 2008  |8 20101110  |f 74  |f Měsíční  |q 20180711  |r 20101110  |s kup 
AVA |a SCI50  |b PRIF  |c ÚK volný výběr  |d 510.6-KAYE  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 2  |j PRFST