- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by Ann M. Singleterry
24 found
Order:
- Alfred Tarski. Introduction to logic and to the methodology of deductive sciences. Third edition of VI 30. Oxford University Press, New York1965, viii + 252 pp.Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (4):674.
- An Informal Arithmetical Approach to Computability and Computation.How to Program an Infinite Abacus.Ann M. Singleterry, Z. A. Melzak & Joachim Lambek - 1966 - Journal of Symbolic Logic 31 (3):514.
- A New Principle of Construction of Logical Machines.Ann M. Singleterry & Laszlo Kalmar - 1966 - Journal of Symbolic Logic 31 (3):516.
- (1 other version)M. I. Kargapolov. Ob eléméntarnoj téorii struktur podgrupp . Algébra i logika, Séminar, vol. 1 no. 3 , pp. 46–53.Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (2):279-280.
- (1 other version)M. I. Kratko. Formal′nyé isčisléniá posta i konéčnyé automaty . Problémy kibérnétiki, Vol. 17 , pp. 41–65.Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (3):393.
- Multiterminal Networks Containing the Closing Contacts of Internal Relays.Ann M. Singleterry & A. G. Lunc - 1966 - Journal of Symbolic Logic 31 (4):664.
- Yoshindo Suzuki. Enumeration of recursive sets. The journal of symbolic logic, vol. 24 no. 4 , p. 311.Ann M. Singleterry - 1968 - Journal of Symbolic Logic 33 (1):115.
- (6 other versions)First Course in Mathematical Logic.Ann M. Singleterry - 1964 - Journal of Symbolic Logic 32 (3):421-422.
- A. G. Lunc. Mnogopolúsniki, sodéržaščié zamykaúščié kontakty vnutrénnih rélé . Doklady Akadémii Nauk SSSR, vol. 165 , pp. 47–50. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (4):664-664.
- Allan Lytel. abc's of Boolean algebra. Howard W. Sams & Co., Inc., Indianapolis, and The Bobbs-Merrill Company, Inc., New York, 1963, 112 pp. [REVIEW]Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (1):133.
- (1 other version)Bertrand Russell. Bertrand Russell's dictionary of mind, matter and morals. Edited, with an Introduction by Lester E. Denonn. Philosophical Library, New York1952, xiv + 290 pp. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (4):675-675.
- (1 other version)Cobham Alan. Effectively decidable theories. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, NJ, 1960, pp. 391–395. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (4):653-653.
- (1 other version)Chen Chung Chang and Anne C. Morel. Some cancellation theorems for ordinal products of relations. Duke mathematical journal, vol. 27 , pp. 171–181. - Chen Chung Chang. Cardinal and ordinal multiplication of relation types. Lattice theory, Proceedings of symposia in pure mathematics, vol. 2, American Mathematical Society, Providence 1961, pp. 123–128. - C. C. Chang. Ordinal factorization of finite relations. Transactions of the American Mathematical Society, vol. 101 , pp. 259–293. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (1):129-130.
- Federal Electric Corporation. Boolean algebra. A self-instructional programed manual. Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1966, ix + 246 pp. [REVIEW]Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (1):133-134.
- (1 other version)G. Kreisel, J. Shoenfield, and Hao Wang. Number theoretic concepts and recursive well-orderings. Archiv für mathematische Logik und Grundlagenforschung, vol. 5 , pp. 42–64. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (3):511-512.
- Kalmár László. A new principle of construction of logical machines. 2e Congrès International de Cybernétique, Namur, 3–10 Septembre 1958, Actes, Association Internationale de Cybernétique, Namur 1960, pp. 458–463. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (3):516-516.
- Leon Henkin and Alfred Tarski. Cylindrical algebras. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 332–340. [REVIEW]Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (3):417.
- (1 other version)Leon Henkin and Alfred Tarski. Cylindric algebras. Lattice theory, Proceedings of symposia in pure mathematics, vol. 2, American Mathematical Society, Providence 1961, pp. 83–113. [REVIEW]Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (3):415-416.
- (1 other version)W. V. Quine. Logic as a source of syntactical insights. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 1–5. - Irina Lynch, W. V. Quine. Comments. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence 1961, pp. 254–255. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (3):496-497.
- Review: Allan Lytel, ABC's of Boolean Algebra. [REVIEW]Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (1):133-133.Export citation
Bookmark - (1 other version)Review: J. R. Shoenfield, The Form of the Negation of a Predicate. [REVIEW]Ann M. Singleterry - 1968 - Journal of Symbolic Logic 33 (1):116-116.Export citation Bookmark
- R. Sikorski. On a generalization of theorems of Banach and Cantor-Bernstein. Colloquium mathematicum, vol. 1 , pp. 140–144. - Shin’ichi Kinoshita. A solution of a problem of R. Sikorski. Fundamenta mathematicae, vol. 40 , pp. 39–41. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (1):130-131.
- Review: Yoshindo Suzuki, Enumeration of Recursive Sets. [REVIEW]Ann M. Singleterry - 1968 - Journal of Symbolic Logic 33 (1):115-115.
- Z. A. Melzak. An informal arithmetical approach to computability and computation. Canadian mathematical bulletin , vol. 4 , pp. 279–293. - Joachim Lambek. How to program an infinite abacus. Canadian mathematical bulletin , vol. 4 , pp. 295–302. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (3):514-514.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7b7f6c6655-26qk7 uwo