Understanding mathematical proof

書目詳細資料
Main Authors:	Taylor, John 1957- (Author), Garnier, Rowan (Author)
格式:	圖書
語言:	English
出版:	Boca Raton Taylor & Francis [2014]
主題:	Proof theory. Logic, Symbolic and mathematical.