The nuts and bolts of proofs an introduction to mathematical proofs

Opis bibliograficzny
1. autor:	Cupillari, Antonella
Format:	Książka
Język:	angielski
Wydane:	Amsterdam, Boston Elsevier Academic Press c2013.
Wydanie:	4th ed.
Hasła przedmiotowe:	Proof theory.