Mathematical logic for computer science /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Ben-Ari, Mordechai, 1948- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: London : Springer-Verlag, c2012
Vydání:3rd ed.
Témata:
LEADER 01713nam a22004697a 4500
001 MUB01001013952
003 CZ BrMU
005 20141104105047.0
008 141017s2012 xxk||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2021-03-08 
020 |a 978-1-4471-4128-0 
040 |a BOD018  |b cze 
072 7 |a 51  |x Matematika  |2 Konspekt  |9 13 
080 |a 51  |2 MRF 
080 |a 510.6  |2 MRF 
100 1 |a Ben-Ari, Mordechai,  |d 1948-  |7 kup20030000006370  |4 aut 
245 1 0 |a Mathematical logic for computer science /  |c Mordechai Men-Ari 
250 |a 3rd ed. 
260 |a London :  |b Springer-Verlag,  |c c2012 
300 |a xv, 346 s. :  |b il. 
504 |a Obsahuje rejstřík 
650 0 7 |a matematická logika  |7 ph122671  |2 czenas 
650 0 7 |a matematika  |7 ph117231  |2 czenas 
650 0 7 |a symboly  |7 ph126351  |2 czenas 
650 0 9 |a mathematical logic  |2 eczenas 
650 0 9 |a mathematics  |2 eczenas 
650 0 9 |a symbols  |2 eczenas 
655 7 |a monografie  |7 fd132842  |2 czenas 
655 9 |a monographs  |2 eczenas 
CAT |a KOVAROVA  |b 02  |c 20141017  |l MUB01  |h 1342 
CAT |a VESELA  |b 02  |c 20141104  |l MUB01  |h 1050 
CAT |c 20150404  |l MUB01  |h 0914 
CAT |a BATCH  |b 00  |c 20151226  |l MUB01  |h 0521 
CAT |c 20210308  |l MUB01  |h 1029 
CAT |c 20210614  |l MUB01  |h 1011 
CAT |c 20210614  |l MUB01  |h 1959 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1233 
LOW |a POSLANO DO SKCR  |b 2021-03-08 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 M552  |5 4200517692  |8 20141017  |f 77  |f Dlouhodobá  |g 2014-146  |r 20141104 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 M552  |5 4200517769  |8 20141125  |f 74  |f Měsíční  |g 2014-164  |r 20150107 
AVA |a INF50  |b FI  |d M552  |e available  |t K dispozici  |f 2  |g 1  |h N  |i 1  |k 0