Lisp Scheme Part40 [転載禁止]©2ch.net

■ このスレッドは過去ログ倉庫に格納されています
426デフォルトの名無しさん2016/05/17(火) 17:05:48.70ID:YgbAgXws
The Little Prover (MIT Press)
by Daniel P. Friedman et al.
Link: http://amzn.com/0262527952

■ このスレッドは過去ログ倉庫に格納されています