Author:
Aitken Wayne,Barrett Jeffrey A.
Publisher
Springer Science and Business Media LLC
Reference4 articles.
1. Aitken, W. and Barrett, J. A.: Computer implication and the Curry paradox, Journal of Philosophical Logic 33(6) (2004), 631–637.
2. Aitken, W. and Barrett, J. A.: Stability and paradox in algorithmic logic, Journal of Philosophical Logic 36(1) (2007), 61–95.
3. Beeson, Michael J.: Foundations of Constructive Mathematics, Springer, Berlin Heidelberg New York, 1985.
4. Hindley, J. R. and Seldin, J. P.: Introduction to Combinators and λ-calculus, Cambridge University Press, Cambridge, UK, 1986.
Cited by
2 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