Introduction to Logic - Synthesis Lectures on Computer Science - Michael Genesereth - Livros - Morgan & Claypool Publishers - 9781627052474 - 1 de agosto de 2013
Caso a capa e o título não sejam correspondentes, considere o título como correto

Introduction to Logic - Synthesis Lectures on Computer Science 2 Revised edition


Receba um e-mail quando o item estiver disponível
Você tem um perfil? Entrar
Receba avisos sobre novos lançamentos de Michael Genesereth
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

Provides a gentle but rigorous introduction to formal logic. The book covers logical syntax and semantics and proof theory, plus induction. Unlike other books, this title begins with Herbrand semantics rather than the more traditional Tarskian semantics. This approach makes the material considerably easier for students to understand.


164 pages, black & white illustrations

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 1 de agosto de 2013
ISBN13 9781627052474
Editoras Morgan & Claypool Publishers
Páginas 163
Dimensões 191 × 235 × 9 mm   ·   319 g
Idioma Inglês  

Mais por Michael Genesereth

Mostrar tudo

Mais da mesma editora