A logical introduction to proof

Opis bibliograficzny
1. autor:	Cunningham, Daniel W. (Autor)
Format:	Książka
Język:	angielski
Wydane:	New York Springer 2013.
Hasła przedmiotowe:	Logic, Symbolic and mathematical.