First-order modal logic /

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Fitting, Melvin, 1942- (Autor), Mendelsohn, Richard L., 1944- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Dordrecht : Kluwer Academic Publishers, c1998.
Edice:Synthese library. Studies in epistemology, logic, methodology, and philosophy of science ; v. 277
Témata:
modalita (logika)
modality (logic)
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 01971nam a22004697a 4500
001 MUB01000552635
003 CZ BrMU
005 20110726152438.0
008 080617s1998 ne ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2017-06-28 
020 |a 0-7923-5334-X 
040 |a BOD018  |b cze 
080 |a 161.26  |2 MRF 
100 1 |a Fitting, Melvin,  |d 1942-  |7 kup20030000118523  |4 aut 
245 1 0 |a First-order modal logic /  |c Melvin Fitting and Richard L. Mendelsohn. 
260 |a Dordrecht :  |b Kluwer Academic Publishers,  |c c1998. 
300 |a xii, 287 s. 
490 1 |a Synthese library. Studies in epistemology, logic, methodology, and philosophy of science ;  |v v. 277 
650 0 7 |a modalita (logika)  |7 ph294123  |2 czenas 
650 0 9 |a modality (logic)  |2 eczenas 
700 1 |a Mendelsohn, Richard L.,  |d 1944-  |7 xx0109806  |4 aut 
830 0 |a Synthese library.  |p Studies in epistemology, logic, methodology, and philosophy of science ;  |v v. 277 
CAT |a KOVAROVA  |b 02  |c 20080617  |l MUB01  |h 1306 
CAT |a KREKOVA  |b 02  |c 20080625  |l MUB01  |h 0929 
CAT |c 20091203  |l MUB01  |h 0213 
CAT |c 20091203  |l MUB01  |h 1855 
CAT |a BATCH-UPD  |b 00  |c 20100501  |l MUB01  |h 1155 
CAT |c 20101015  |l MUB01  |h 2320 
CAT |c 20101016  |l MUB01  |h 0345 
CAT |a VASICEKX  |b 02  |c 20110726  |l MUB01  |h 1524 
CAT |a batch  |b 00  |c 20120324  |l MUB01  |h 0115 
CAT |a BATCH  |b 00  |c 20130303  |l MUB01  |h 1009 
CAT |c 20150404  |l MUB01  |h 0322 
CAT |a BATCH  |b 00  |c 20151225  |l MUB01  |h 2334 
CAT |c 20170628  |l MUB01  |h 1107 
CAT |c 20210614  |l MUB01  |h 0932 
CAT |c 20210614  |l MUB01  |h 1921 
LOW |a POSLANO DO SKCR  |b 2017-06-28 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 R59 - skříň  |5 4200515756  |8 20100120  |f 74  |f Měsíční  |g 2010-3  |r 20100202 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |3 R59  |5 4200514313  |8 20080617  |f 74  |f Měsíční  |g 2008-114  |r 20080625 
AVA |a INF50  |b FI  |d R59 - skříň  |e available  |t K dispozici  |f 2  |g 0  |h N  |i 1  |k 0 

Podobné jednotky