A logical introduction to proof

Dades bibliogràfiques
Autor principal:	Cunningham, Daniel W. (Autor)
Format:	Llibre
Idioma:	anglès
Publicat:	New York Springer 2013.
Matèries:	Logic, Symbolic and mathematical.