596 results on '"Alonzo Church"'
Search Results
2. Annals of Mathematics Studies
3. Popper’s Correspondence with Alonzo Church
4. BOOKS, 1943–1950
5. Comparison of Russell's Resolution of the Semantical Antinomies with that of Tarski.
6. A Formulation of the Simple Theory of Types.
7. Some Theorems on Definability and Decidability.
8. Russelian Simple Type Theory
9. A Theory of the Meaning of Names
10. A Note on the Entscheidungsproblem.
11. Correction to A Note on the Entscheidungsproblem.
12. I. The Propositional Calculus
13. III. Functional Calculi of First Order
14. V. Functional Calculi of Second Order
15. Index of Definitions
16. Introduction to Mathematical Logic (PMS-13)
17. IV. The Pure Functional Calculus of First Order
18. Prefactory Statement to the Index Volume.
19. A Revised Formulation of the Logic of Sense and Denotation. Alternative (1)
20. Set theory with a universal set
21. Alessandro Padoa. Essai d'une théorie algébrique des nombres entiers, précédé d'une introduction logique à une théorie déductive quelconque. Bibliothèque du Congrès International de Philosophie, Volume III, Logique et histoire des sciences, Librairie Armand Colin, Paris1901, pp. 309–365
22. Book Review: Principia Mathematica
23. A generalization of Laplace's transformation
24. A Bibliography of Symbolic Logic
25. Recent Publications
26. Book Review: A System of Logistic
27. Special Cases of the Decision Problem
28. Alternatives to Zermelo’s assumption
29. The Richard Paradox
30. Schröder's anticipation of the simple theory of types
31. The constructive second number class
32. On irredundant sets of postulates
33. Dana Scott. Existence and description in formal logic. Bertrand Russell, Philosopher of the century, Essays in his honour, edited by Ralph Schoenman, Little, Brown and Company, Boston and Toronto, and George Allen & Unwin Ltd, London, 1967, pp. 181–200
34. Intensional isomorphism and identity of belief
35. On the law of excluded middle
36. Uniqueness of the Lorentz Transformation
37. On the concept of a random sequence
38. Analysis of Data When the Response is a Curve
39. Discussions and Notes
40. Joseph Ullian. Mathematical objects. Philosophy of science, The Delaware seminar, Volume 1, 1961-1962, edited by Bernard Baumrin, Interscience Publishers, New York and London 1963, pp. 187–205
41. Douglas P. Lackey. Preface. Essays in analysis by Bertrand Russell, edited by Douglas Lackey, Allen & Unwin, Ltd., London, and George Braziller, Inc., New York, 1973, pp. 9–10
42. R. Harré. Preface. How I see philosophy, by F. Waismann, edited by R. Harré, Macmillan, London-Melbourne-Toronto, and St. Martin's Press, New York, 1968, p. vii. - F. Waismann. How I see philosophy. A reprint of XXIII 209. How I see philosophy, by F. Waismann, edited by R. Harré, Macmillan, London-Melbourne-Toronto, and St. Martin's Press, New York, 1968, pp. 1–38. - F. Waismann. Verifiability. A reprint of XII 101. How I see philosophy, by F. Waismann, edited by R. Harré, Macmillan, London-Melbourne-Toronto, and St. Martin's Press, New York, 1968, pp. 39–66. - F. Waismann. Are there alternative logics? A reprint of XII 100. How I see philosophy, by F. Waismann, edited by R. Harré, Macmillan, London-Melbourne-Toronto, and St. Martin's Press, New York, 1968, pp. 67–90. - F. Waismann. Language strata, Part one. A reprint, with different title, of XVI 75. How I see philosophy, by F. Waismann, edited by R. Harré, Macmillan, London-Melbourne-Toronto, and St. Martin's Press, New York, 1968, pp. 91–102. - F. Waismann. Language strata, Part two. A reprint of XXXVIII 663. How I see philosophy, by F. Waismann, edited by R. Harré, Macmillan, London-Melbourne-Toronto, and St. Martin's Press, New York, 1968, pp. 102–121. - F. Waismann. Analytic-synthetic. A reprint of XXI 84. How I see philosophy, by F. Waismann, edited by R. Harré, Macmillan, London-Melbourne-Toronto, and St. Martin's Press, New York, 1968, pp. 122–207. - F. Waismann. The decline and fall of causality. How I see philosophy, by F. Waismann, edited by R. Harré, Macmillan, London-Melbourne-Toronto, and St. Martin's Press, New York, 1968, pp. 208–256. (Reprinted from Turning points in physics, edited by A. C. Crombie, North-Holland Publishing Company, Amsterdam 1959, pp. 84–154.)
43. P. S. Novikoff. On the consistency of certain logical calculus. English with brief Russian abstract. Matématiĉéskij sbornik (Recueil mathématique), vol. 12 (54), no. 2 (1943), pp. 231–261
44. Book Review: Foundations of Logic and Mathematics
45. Marvin Farber. The foundation of phenomenology. Edmund Husserl and the guest for a rigorous science of philosophy. Harvard University Press, Cambridge, Mass., 1943, xi + 585 pp
46. H. R. Smart. Frege's logic. The philosophical review, vol. 54 (1945), pp. 489–505
47. S. C. Kleene. Recursive predicates and quantifiers. Transactions of the American Mathematical Society, vol. 53 (1943), pp. 41–73
48. Emil L. Post. Formal reductions of the general combinatorial decision problem. American journal of mathematics, vol. 65 (1943), pp. 197–215
49. Alfred Tarski. Introduction to logic and to the methodology of deductive sciences. Enlarged and revised edition, translated by Olaf Helmer. Oxford University Press, New York1941, xviii + 239 pp
50. Book Review: Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.