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 Rijke, Maarten de
Venema, Yde
Izdanje 4th printing with corrections
Nakladnik Cambridge [etc.] : Cambridge University Press, 2010
Materijalni opis xxii, 554 str. : ilustr. ; 23 cm
Nakladnički niz Cambridge tracts in theoretical computer science ; 53
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 Google Books
Google Books

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.