Author:
Aitken Wayne,Barrett Jeffrey A.
Publisher
Springer Science and Business Media LLC
Reference15 articles.
1. Aitken, W. and Barrett J. A. (2004): Computer implication and the curry paradox, J. Philos. Logic 33, 631–637.
2. Aitken, W. and Barrett, J. A.: Abstraction in Algorithmic Logic (preprint).
3. Cantini, A. (1996): Logical frameworks for truth and abstraction: An axiomatic study, North-Holland. ISBN: 0-444-82306-9.
4. Cantini, A. (2003): The undecidability of Gri $$\breve{{\text{s}}}$$ in's set theory, Stud. Log. 74(3), 345–368.
5. Feferman, S. (1984): Toward useful type-free theories, J. Symb. Log. 49, 75–111.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Abstraction in Fitch's Basic Logic;History and Philosophy of Logic;2012-08
2. A Note on the Physical Possibility of Transfinite Computation;The British Journal for the Philosophy of Science;2010-12-01
3. Abstraction in Algorithmic Logic;Journal of Philosophical Logic;2007-09-25