0426デフォルトの名無しさん垢版 | 大砲2016/05/17(火) 17:05:48.70ID:YgbAgXws The Little Prover (MIT Press) by Daniel P. Friedman et al. Link: http://amzn.com/0262527952