Number of the records: 1
Title statement Modal logic / Patrick Blackburn, Maarten de Rijke and Yde Venema Personal name Blackburn, Patrick, 1959- (author) Edition statement 1st pub. Issue data Cambridge : Cambridge University Press, c2001 Phys.des. xxii, 554 s. : il. ISBN 0-521-80200-8 (váz.) Edition Cambridge tracts in theoretical computer science ; 53 Note 3134037193 - dotisk 2010 Internal Bibliographies/Indexes Note Obsahuje bibliografii a rejstřík Another responsib. Rijke, Maarten de (author) Venema, Yde, 1963- (author) Subj. Headings matematická logika mathematical logic * matematické modelování mathematical modeling * matematika mathematics * teorie informace information theory Form, Genre učebnice vysokých škol textbooks (higher) Conspect 510 - Obecné úvahy o matematice 37.016 - Učební osnovy. Vyučovací předměty. Učebnice UDC 519.673 , 510.8 , 519.72 , 510.6 , (075.8) Country Velká Británie Language angličtina Document kind Books 
book
Call number Barcode Location Sublocation Info M1/1395 (PřF) 3134015861 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only M1/1395a (PřF) 3134037193 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1