Understanding mathematical proof

Xehetasun bibliografikoak
Egile Nagusiak:	Taylor, John 1957- (Egilea), Garnier, Rowan (Egilea)
Formatua:	Liburua
Hizkuntza:	English
Argitaratua:	Boca Raton Taylor & Francis [2014]
Gaiak:	Proof theory. Logic, Symbolic and mathematical.