Symbolic logic : syntax, semantics, and proof /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Agler, David W., 1982- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Lanham : Rowman & Littlefield Publishers, Inc., [2013]
Témata:
matematická logika
symbolická logika
vícehodnotová logika
many-valued logic
mathematical logic
symbolic logic
učebnice
praktická cvičení
textbooks
problems, exercises, etc.
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 02361nam a22006377i 4500
001 MUB01006345007
003 CZ BrMU
005 20160309122810.0
008 150721t20132013xxu||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2016-03-09 
020 |a 978-1-4422-1741-6  |q (cloth :  |q alk. paper) 
020 |a 978-1-4422-1742-3  |q (pbk. :  |q alk. paper) 
040 |a BOD001  |b cze  |e rda 
072 7 |a 51  |x Matematika  |2 Konspekt  |9 13 
080 |a 164.01  |2 MRF 
080 |a 510.6  |2 MRF 
080 |a 510.644  |2 MRF 
080 |a (075)  |2 MRF 
080 |a (076.5)  |2 MRF 
100 1 |a Agler, David W.,  |d 1982-  |4 aut 
245 1 0 |a Symbolic logic :  |b syntax, semantics, and proof /  |c David W. Agler 
264 1 |a Lanham :  |b Rowman & Littlefield Publishers, Inc.,  |c [2013] 
264 4 |c ©2013 
300 |a xv, 375 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 matematická logika  |7 ph122671  |2 czenas 
650 0 7 |a symbolická logika  |7 ph126346  |2 czenas 
650 0 7 |a vícehodnotová logika  |7 ph254515  |2 czenas 
650 0 9 |a many-valued logic  |2 eczenas 
650 0 9 |a mathematical logic  |2 eczenas 
650 0 9 |a symbolic logic  |2 eczenas 
655 7 |a učebnice  |7 fd133770  |2 czenas 
655 7 |a praktická cvičení  |7 fd133118  |2 czenas 
655 9 |a textbooks  |2 eczenas 
655 9 |a problems, exercises, etc.  |2 eczenas 
CAT |a MACHACKOVA  |b 02  |c 20150721  |l MUB01  |h 1143 
CAT |a SVOBODOVA  |b 02  |c 20150723  |l MUB01  |h 0913 
CAT |a PTICHA  |b 02  |c 20150727  |l MUB01  |h 1436 
CAT |a VACOVAX  |b 02  |c 20150902  |l MUB01  |h 0938 
CAT |a BATCH  |b 00  |c 20151226  |l MUB01  |h 0551 
CAT |c 20160121  |l MUB01  |h 1042 
CAT |a SVOBODOVA  |b 02  |c 20160225  |l MUB01  |h 0619 
CAT |c 20160303  |l MUB01  |h 1236 
CAT |c 20160308  |l MUB01  |h 1508 
CAT |c 20160309  |l MUB01  |h 1110 
CAT |a BART  |b 02  |c 20160309  |l MUB01  |h 1228 
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 VYBER  |b volný výběr  |3 51-AGLE1-1  |5 2571509230  |4 *--zakázka 2805  |8 20150721  |f 74  |f Měsíční  |r 20150721  |s grant1100 
AVA |a FIL50  |b FF  |c volný výběr  |d 51-AGLE1-1  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 4  |j VYBER 

Podobné jednotky