The predicate calculus with $\epsilon$ -symbol.
作者： Shoji MAEHARA
关键词: Monadic predicate calculus 、 Predicate variable 、 Epsilon calculus 、 Discrete mathematics 、 Church encoding 、 Prenex normal form 、 Functional predicate 、 Process calculus 、 Mathematics 、 Natural deduction 、 General Mathematics
摘要:
sci-hub.st 参考文章(2)
Shôji Maehara, Genten's theorem on an extended predicate calculus Proceedings of the Japan Academy. ,vol. 30, pp. 923- 926 ,(1954) , 10.3792/PJA/1195525871
David Hilbert, Die logischen Grundlagen der Mathematik Mathematische Annalen. ,vol. 88, pp. 151- 165 ,(1922) , 10.1007/978-3-662-38452-7_12