Proof And Disproof in Formal Logic (An Introduction for Programmers)

Name: Proof And Disproof in Formal Logic (An Introduction for Programmers)
Author: Bornat, Richard
ISBN: 9780198530268

Autor: Bornat, Richard
Editorial: Oxford University Press
Publicación: 20050902
ISBN: 9780198530268
Área de registro del ISBN: Área anglófona (ISBN 978-0)

교보문고

YES24

알라딘

Statground puede recibir una comisión si compras mediante un enlace de afiliación.

Descripción

Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, this text is a lively and entertaining introduction to formal logic and provides an excellent insight into how a simple logic works.