100 mathematical proof

書誌詳細
第一著者:	Garnier, Rowan
その他の著者:	Taylor, John 1957-
フォーマット:	図書
言語:	English
出版事項:	Chichester Wiley c1996.
主題:	Proof theory. Logic, Symbolic and mathematical.