Understanding mathematical proof

Bibliografiset tiedot
Päätekijät:	Taylor, John 1957- (Tekijä), Garnier, Rowan (Tekijä)
Aineistotyyppi:	Kirja
Kieli:	English
Julkaistu:	Boca Raton Taylor & Francis [2014]
Aiheet:	Proof theory. Logic, Symbolic and mathematical.