Contacto
Como comprar
Entrega
Guia de compras
Temporal Logic: Volume 1
Inglês
1088 b
Política de devolução de 30 dias
Os clientes também compraram
/
Capa mole
110.05
€
/
Capa mole
39.97
€
This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science. The book, which consists of fifteen chapters, moves on from giving a solid introduction in semantical and axiomatic approaches to temporal logic to covering the central topics of predicate temporal logic, meta-languages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results. Much of the research presented here is frontline in the new results and in the unifying methodology. This is an indispensable reference work for both the pure logician and the theoretical computer scientist.
Sobre o livro
Inglês
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatárioTambém pode estar interessado em
/
Capa mole
18.77
€
/
Livro de capa dura
48.15
€
/
Livro de capa dura
259.18
€
/
Capa mole
8.17
€
Olá! Sou o Libroamiko, o seu conselheiro de livros.
Como posso ajudar?