Problems in Set Theory, Mathematical Logic, and the Theory of Algorithms

Bulletin of Symbolic Logic 10 (2):222-223 (2004)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s1079898600004005

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Foundations of mathematical logic.Haskell Brooks Curry - 1963 - New York: Dover Publications.
Mathematical logic, the theory of algorithms, and the theory of sets.S. I. Adi︠a︡n (ed.) - 1977 - Providence, R.I.: American Mathematical Society.
Popular lectures on mathematical logic.Hao Wang - 1981 - New York: Dover Publications.
Book review: Igor Lavrov, Larisa Maksimova, problems in set theory, mathematical logic and the theory of algorithms, edited by Giovanna Corsi, kluwer academic / plenum publishers, 2003, us$141.00, pp. XII + 282, isbn 0-306-47712-2, hardbound. [REVIEW]Elliott Mendelson - 2005 - Studia Logica 79 (3):409-410.
Igor Lavrov and Larisa Maksimova, problems in set theory, mathematical logic and the theory of algorithms, edited by Giovanna Corsi, translated by Valentin Shehtman, kluwer academic/plenum publishers, new York, 2003, US$141.00, pp. XI + 282, ISBN 0-306-47712-2, hardbound. [REVIEW]Ewa Palka - 2005 - Studia Logica 81 (2):283-292.
How experimental algorithmics can benefit from Mayo’s extensions to Neyman–Pearson theory of testing.Thomas Bartz-Beielstein - 2008 - Synthese 163 (3):385 - 396.
What is mathematical logic?John Newsome Crossley (ed.) - 1972 - New York: Dover Publications.
Review: Dirk van Dalen, Algorithms and Decision Problems: a Crash Course in Recursion Theory. [REVIEW]John N. Crossley - 1989 - Journal of Symbolic Logic 54 (3):1094-1095.
The prospects for mathematical logic in the twenty-first century.Samuel R. Buss, Alexander S. Kechris, Anand Pillay & Richard A. Shore - 2001 - Bulletin of Symbolic Logic 7 (2):169-196.
The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions.Martin Davis (ed.) - 1965 - Hewlett, NY, USA: Dover Publication.
On logic of complex algorithms.Helena Rasiowa - 1981 - Studia Logica 40 (3):289 - 310.
Logic and algorithms.Robert R. Korfhage - 1966 - New York,: Wiley.
Review: A. A. Mucnik, Solution of Post's Reduction Problem and of Certain Other Problems in the Theory of Algorithms. I. [REVIEW]Hartley Rogers - 1965 - Journal of Symbolic Logic 30 (1):90-90.

Analytics

Added to PP
2014-03-21

Downloads
29 (#535,100)

6 months
11 (#226,803)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references