A logic of abstraction related to finite constructive number classes
暂无分享,去创建一个
[1] P. Aczel. Frege Structures and the Notions of Proposition, Truth and Set* , 1980 .
[2] Henk Barendregt,et al. The Lambda Calculus: Its Syntax and Semantics , 1985 .
[3] Andrea Cantini. A Theory of Formal Truth Arithmetically Equivalent to ID1 , 1990, J. Symb. Log..
[4] Dana S. Scott,et al. Combinators and classes , 1975, Lambda-Calculus and Computer Science Theory.
[5] Paul C. Gilmore. Natural Deduction Based Set Theories: A New Resolution of the Old Paradoxes , 1986, J. Symb. Log..
[6] Yiannis N. Moschovakis,et al. Elementary induction on abstract structures , 1974 .
[7] Harvey M. Friedman,et al. An axiomatic approach to self-referential truth , 1987, Ann. Pure Appl. Log..
[8] Ray Turner,et al. A theory of properties , 1987, Journal of Symbolic Logic.
[9] Jon Barwise,et al. Admissible sets and structures , 1975 .
[10] K. Gödel. Philosophy of mathematics: Russell's mathematical logic , 1984 .
[11] Solomon Feferman,et al. Toward useful type-free theories. I , 1984, Journal of Symbolic Logic.