Proof and Disproof in Formal Logic : An itroduction for programmers

Na minha lista:
Detalhes bibliográficos
Autor principal: Bornat, Richard (Author)
Formato: Livro
Idioma:inglês
Publicado em: Oxford : Oxford University Press, 2005
Edição:1. vyd.
Assuntos:
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!