Language, proof and logic /

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Barwise, Jon, 1942-2000 (Autor), Etchemendy, John, 1952- (Autor)
Další autoři: Allwein, Gerard, 1956- (Autor úvodu atd.), Barker-Plummer, Dave, 1960- (Autor úvodu atd.), Liu, Albert, 1966- (Autor úvodu atd.)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Stanford, California : CSLI Publications, c2008
Témata:
logika
logic
studie
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 02744cam a22006257a 4500
001 MUB01000560919
003 CZ BrMU
005 20170519104740.0
008 080926s2008 xxu||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2017-12-09 
020 |a 978-1-57586-374-0 
040 |a BOD018  |b cze  |d BOD001 
072 7 |a 16  |x Logika  |2 Konspekt  |9 5 
080 |a 16  |2 MRF 
080 |a (048.8)  |2 MRF 
100 1 |a Barwise, Jon,  |d 1942-2000  |7 mzk2003191802  |4 aut 
245 1 0 |a Language, proof and logic /  |c Jon Barwise & John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, Albert Liu 
260 |a Stanford, California :  |b CSLI Publications,  |c c2008 
300 |a xi, 587 s. +  |e 1 CD-ROM, 1 LPL software manual (vii, 56 s.). 
650 0 7 |a logika  |7 ph122436  |2 czenas 
650 0 9 |a logic  |2 eczenas 
655 7 |a studie  |7 fd133597  |2 czenas 
700 1 |a Etchemendy, John,  |d 1952-  |7 osd2014842288  |4 aut 
700 1 |a Allwein, Gerard,  |d 1956-  |4 aui 
700 1 |a Barker-Plummer, Dave,  |d 1960-  |7 xx0052439  |4 aui 
700 1 |a Liu, Albert,  |d 1966-  |4 aui 
CAT |a KOVAROVA  |b 02  |c 20080926  |l MUB01  |h 0816 
CAT |a LENKA  |b 02  |c 20081008  |l MUB01  |h 0941 
CAT |a PTICHA  |b 02  |c 20081009  |l MUB01  |h 0948 
CAT |a BATCH-UPD  |b 02  |c 20091102  |l MUB01  |h 0654 
CAT |a BATCH-UPD  |b 02  |c 20091103  |l MUB01  |h 0154 
CAT |c 20091203  |l MUB01  |h 0217 
CAT |c 20091203  |l MUB01  |h 1859 
CAT |a BATCH-UPD  |b 00  |c 20091219  |l MUB01  |h 0800 
CAT |a BATCH-UPD  |b 00  |c 20100223  |l MUB01  |h 0108 
CAT |a BATCH-UPD  |b 00  |c 20100501  |l MUB01  |h 1200 
CAT |a BATCH-UPD  |b 00  |c 20100526  |l MUB01  |h 1738 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0117 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 1024 
CAT |c 20140127  |l MUB01  |h 1849 
CAT |c 20150404  |l MUB01  |h 0333 
CAT |a SVERAKOVAX  |b 02  |c 20151214  |l MUB01  |h 1500 
CAT |a BATCH  |b 00  |c 20151225  |l MUB01  |h 2344 
CAT |a FUKSOVAX  |b 02  |c 20170519  |l MUB01  |h 1047 
CAT |c 20171209  |l MUB01  |h 1139 
CAT |c 20210614  |l MUB01  |h 0934 
CAT |c 20210614  |l MUB01  |h 1923 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1140 
LOW |a POSLANO DO SKCR  |b 2017-12-09 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FF  |a FF - ustredni knihovna  |2 SKLAD  |b sklad  |3 A1-31642  |6 08-8487  |5 2570808487  |4 zakázka 3111--*  |8 20081007  |f 71  |f Prezenční SKLAD  |r 00000001  |s grant1100 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 L6 - skříň  |5 4200514582  |8 20080926  |f 74  |f Měsíční  |g 2008-146  |r 20081017 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 L6  |5 4200514744  |7 + 1 CD-ROM, 1 příl.  |8 20081027  |f 74  |f Měsíční  |g 2008-178  |r 20081114 
AVA |a INF50  |b FI  |d L6  |e available  |t K dispozici  |f 2  |g 0  |h N  |i 2  |k 0 
AVA |a FIL50  |b FF  |c sklad  |d A1-31642  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 1  |j SKLAD 

Podobné jednotky