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: Cham : Springer, [2023]
Vydání:Second edition
Edice:Synthese library (Springer), volume 480
Témata:
LEADER 01846nam a22004697i 4500
001 MUB01006538900
003 CZ BrMU
005 20240524093712.0
008 240516t20232023sz ||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2024-07-15 
020 |a 978-3-031-40713-0 
040 |a BOD001  |b cze  |e rda 
072 7 |a 16  |x Logika  |2 Konspekt  |9 5 
080 |a 161.26  |2 MRF 
080 |a 510.643  |2 MRF 
080 |a (048.8)  |2 MRF 
100 1 |a Fitting, Melvin,  |d 1942-  |7 kup20030000118523  |4 aut 
245 1 0 |a First-order modal logic /  |c Melvin Fitting, Richard L. Mendelsohn 
250 |a Second edition 
264 1 |a Cham :  |b Springer,  |c [2023] 
264 4 |c ©2023 
300 |a xx, 460 stran 
336 |a text  |b txt  |2 rdacontent 
337 |a bez média  |b n  |2 rdamedia 
338 |a svazek  |b nc  |2 rdacarrier 
490 1 |a Synthese library : studies in epistemology, logic, methodology, and philosophy of science,  |x 0166-6991 ;  |v volume 480 
650 0 7 |a modální logika  |7 ph137160  |2 czenas 
650 0 7 |a modalita (logika)  |7 ph294123  |2 czenas 
650 0 9 |a modal logic  |2 eczenas 
650 0 9 |a modality (logic)  |2 eczenas 
655 7 |a monografie  |7 fd132842  |2 czenas 
655 9 |a monographs  |2 eczenas 
700 1 |a Mendelsohn, Richard L.,  |d 1944-  |7 xx0109806  |4 aut 
830 0 |a Synthese library (Springer),  |x 0166-6991 ;  |v volume 480 
CAT |a HARNUSEK  |b 02  |c 20240516  |l MUB01  |h 1542 
CAT |a SVOBODOVA  |b 02  |c 20240521  |l MUB01  |h 0816 
CAT |a PTICHA  |b 02  |c 20240524  |l MUB01  |h 0937 
CAT |c 20240715  |l MUB01  |h 1018 
LOW |a POSLANO DO SKCR  |b 2024-07-15 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FF  |a FF - ustredni knihovna  |2 VYBER  |b volný výběr  |3 filozofie-RACL  |5 2572403862  |4 Zakázka 2844  |8 20240516  |f 77  |f Dlouhodobá  |r 20240516  |s grant1100 
AVA |a FIL50  |b FF  |c volný výběr  |d filozofie-RACL  |e unavailable  |t Není k dispozici  |f 1  |g 1  |h N  |i 0  |j VYBER