A logical introduction to proof

Ngā taipitopito rārangi puna kōrero
Kaituhi matua:	Cunningham, Daniel W. (Author)
Hōputu:	Pukapuka
Reo:	Ingarihi
I whakaputaina:	New York Springer 2013.
Ngā marau:	Logic, Symbolic and mathematical.