A logical introduction to proof

Bibliografische gegevens
Hoofdauteur:	Cunningham, Daniel W. (Auteur)
Formaat:	Boek
Taal:	Engels
Gepubliceerd in:	New York Springer 2013.
Onderwerpen:	Logic, Symbolic and mathematical.