The nuts and bolts of proofs

Antonella Cupillari
Bok · Engelsk · 2005

Utgitt	Amsterdam : Elsevier Academic Press , c2005
Omfang	XII, 179 s. : ill.
Utgave	3rd ed.
Emner	Proof theory bevisføring matematikk matematisk logikk
ISBN	0120885093. - 9780120885091