A formal system of first-order predicate calculus with infinitely long expressions
スポンサーリンク
概要
著者
-
MAEHARA Shoji
School of Science and Engineering, Waseda University
-
TAKEUTI Gaisi
Tokyo University of Education