Understanding mathematical proof

Opis bibliograficzny
Główni autorzy:	Taylor, John 1957- (Autor), Garnier, Rowan (Autor)
Format:	Książka
Język:	English
Wydane:	Boca Raton Taylor & Francis [2014]
Hasła przedmiotowe:	Proof theory. Logic, Symbolic and mathematical.