Modal logic / Patric Blackburn, Maarten de Rijke, Yde Venema
Modal logic / Patric Blackburn, Maarten de Rijke, Yde Venema. 4th printing with corrections
Autor
Blackburn, Patrick
Ostali autori
Izdanje
4th printing with corrections
Nakladnik
Cambridge [etc.] : Cambridge University Press, 2010
Materijalni opis
xxii, 554 str. : ilustr. ; 23 cm
Napomena
1.izd. 2001.; 1.izd. u mekon uv. 2002.
 
Zadaci.
 
Bibliografija: str. 524-543.
 
Kazalo. - Popis oznaka.
 
Preporučena literatura: str. 516-523.
Klasifikacijska oznaka
03-02 Research exposition (monographs, survey articles)
 
03B45 Modal logic {For knowledge and belief see 03B42; for temporal logic see 03B44; for provability logic see also 03F45}
 
08A70 Applications of universal algebra in computer science
 
68T27 Logic in artificial intelligence
Jezik
engleski
Standardni broj
ISBN 978-0-521-80200-0
 
ISBN 978-0-521-52714-9
Građa
Knjigaknjiga
Djelomični sadržaj online

BLACKBURN, Patrick
Modal logic / Patric Blackburn, Maarten de Rijke, Yde Venema. - 4th printing with corrections. - Cambridge [etc.] : Cambridge University Press, 2010. - xxii, 554 str. : ilustr. ; 23 cm. - (Cambridge tracts in theoretical computer science ; 53)
1.izd. 2001.; 1.izd. u mekon uv. 2002. - Zadaci. - Bibliografija: str. 524-543. - Kazalo. - Popis oznaka. - Preporučena literatura: str. 516-523.
ISBN 978-0-521-80200-0. - 978-0-521-52714-9


Katalog
  • Upute
Usluge
  • Moja iskaznica | Za članove
Knjige
Zaštićeno autorskim pravom ©1999.-2019. Knjižnice grada Zagreba i VIVaInfo d.o.o. Sva prava pridržana.