Computability and Logic
Halsted Press (1987)
|Abstract||This article has no associated abstract. (fix it)|
|Keywords||Computable functions Logic, Symbolic and mathematical|
|Categories||categorize this paper)|
|Buy the book||$18.34 used (78% off) $182.10 new Amazon page|
|Call number||QA9.59.C64 1987|
References found in this work BETA
No references found.
Citations of this work BETA
Seperating the Intrinsic Complexity and the Derivational Complexity of the Word Problem for Finitely Presented Groups.Daniel E. Cohen, Klaus Madlener & Friedrich Otto - 1993 - Mathematical Logic Quarterly 39 (1):143-157.
Similar books and articles
Alan Turing and the Foundations of Computable Analysis.Guido Gherardi - 2011 - Bulletin of Symbolic Logic 17 (3):394-430.
Models and Computability: Invited Papers From Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997.S. B. Cooper & J. K. Truss (eds.) - 1999 - Cambridge University Press.
Review: Richard L. Epstein, Walter A. Carnielli, Computability. Computable Functions, Logic, and the Foundations of Mathematics ; Richard L. Epstein, Walter A. Carnielli, Computability. Computable Functions, Logic, and the Foundations of Mathematics. Second Edition of the Preceding. [REVIEW]Carlos Augusto Priscdio - 2002 - Bulletin of Symbolic Logic 8 (1):101-104.
Non-Classical Logics, Model Theory, and Computability: Proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976. [REVIEW]Ayda I. Arruda, Newton C. A. Costa & R. Chuaqui (eds.) - 1977 - Sale Distributors for the U.S.A. And Canada, Elsevier/North-Holland.
Added to index2009-01-28
Total downloads2 ( #778,125 of 2,178,220 )
Recent downloads (6 months)1 ( #316,504 of 2,178,220 )
How can I increase my downloads?