Anil Nerode & Richard A. Shore 
Logic for Applications [PDF ebook] 

Apoio

In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the recent dramatic growth in the applications of logic to computer science. Thus our choice of topics has been heavily influenced by such applications. Of course, we cover the basic traditional topics – syntax, semantics, soundness, completeness and compactness – as well as a few more advanced results such as the theorems of Skolem-...

leia mais
€92.72
Métodos de Pagamento
Compre este e-book e ganhe mais 1 GRÁTIS!
Língua Inglês ● Formato PDF ● ISBN 9781468402117 ● Editora Springer New York ● Publicado 2012 ● Carregável 3 vezes ● Moeda EUR ● ID 4672443 ● Proteção contra cópia Adobe DRM
Requer um leitor de ebook capaz de DRM

Mais ebooks do mesmo autor(es) / Editor

3.692 Ebooks nesta categoria