トップページ⇒math

1001コメント271KB

分からない問題はここに書いてね２１３

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

0565１３２人目の素数さん

2005/07/17(日) 00:33:11

>>564
strong normalization
Church-Rosser

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