A logical introduction to proof

Détails bibliographiques
Auteur principal:	Cunningham, Daniel W. (Auteur)
Format:	Livre
Langue:	English
Publié:	New York Springer 2013.
Sujets:	Logic, Symbolic and mathematical.