John Barkley Rosser (rosser-jb)

Contributi a Philosophie.ch

Bibliography

Rosser, John Barkley. 1936. “Extensions of Some Theorems of Gödel and Church.” The Journal of Symbolic Logic 1: 87–91. Reprinted in Davis (1965, 231–235).
Rosser, John Barkley. 1939a. “An Informal Exposition of Proofs of Gödel’s Theorem and Church’s Theorem.” The Journal of Symbolic Logic 4: 53–60. Reprinted in Davis (1965, 223–230).
Rosser, John Barkley. 1939b. “The Introduction of Quantification into a Three-Valued Logic.” The Journal of Unified Science (Erkenntnis) 9. This volume never appeared; preprinted for the members of the 5th International Congress for the Unity of Science, Cambridge, Mass.
Rosser, John Barkley. 1942. “The Burali Forti Paradox.” The Journal of Symbolic Logic 7: 1–17.
Rosser, John Barkley. 1955. Deux esquisses de logique. Paris: Gauthier Villars Éditeur.
Rosser, John Barkley. 1960. “Axiomatization of Infinite Valued Logics.” Logique et Analyse [N.S.] 3(11–12): 137–153.
Rosser, John Barkley. 2015. “Complexity and Austrian Economics.” in The Oxford Handbook of Austrian Economics, edited by Peter J. Boettke and Christopher Coyne, pp. 594–611. Oxford Handbooks. New York: Oxford University Press.
Rosser, John Barkley and Turquette, Atwell R. 1952. Many-Valued Logics. Studies in Logic and the Foundations of Mathematics n. 7. Amsterdam: North-Holland Publishing Co.

Further References

Davis, Martin, ed. 1965. The Undecidable. Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Fonctions. Hewlett, New York: Raven Press.