42 found
Order:
  1.  10
    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.
  2.  10
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3.  7
    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.
  4.  9
    A New Principle of Construction of Logical Machines.Ann M. Singleterry & Laszlo Kalmar - 1966 - Journal of Symbolic Logic 31 (3):516.
  5.  12
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6.  16
    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.
  7.  10
    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.
  8.  14
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9.  19
    Frederick Binford. Solutions to the Exercises in First Course in Mathematical Logic. Blaisdell Publishing Company, New York, Toronto, and London, 1965, Ix + 173 Pp. [REVIEW]Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (3):422.
  10.  2
    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.
  11.  26
    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.
  12.  6
    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.
  13.  7
    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.
  14.  9
    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.
  15.  17
    Max Black. Introduction. A Reprint of XVI 298. Philosophical Analysis, A Collection of Essays, Edited by Max Black, Prentice-Hall, Englewood Cliffs, N.J., 1963, Pp. 1–13. - Alice Ambrose. The Problem of Linguistic Inadequacy. A Reprint of XVI 298. Philosophical Analysis, A Collection of Essays, Edited by Max Black, Prentice-Hall, Englewood Cliffs, N.J., 1963, Pp. 14–35. - A. J. Ayer. Basic Propositions. A Reprint of XVI 299. Philosophical Analysis, A Collection of Essays, Edited by Max Black, Prentice-Hall, Englewood Cliffs, N.J., 1963, Pp. 57–70. - Roderick M. Chisholm. The Theory of Appearing. A Reprint of XVI 299. Philosophical Analysis, A Collection of Essays, Edited by Max Black, Prentice-Hall, Englewood Cliffs, N.J., 1963, Pp. 97–112. - Herbert Feigl. De Principiis Non Disputandum...? On the Meaning and the Limits of Justification. A Reprint of XVI 299. Philosophical Analysis, A Collection of Essays, Edited by Max Black, Prentice-Hall, Englewood Cliffs, N.J., 1963, Pp. 113–147. -. [REVIEW]Ann M. Singleterry - 1997 - Journal of Symbolic Logic 31 (4):675-676.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  17
    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.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  19
    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.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18.  12
    Matématika V SSSR Za Sorok Lét 1917–1957. Vol. 2. Biobibliografiá.(Mathematics in the USSR During the Forty Years 1917–1957. Vol. 2. Biobibliography.).Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (3):516.
  19.  3
    Multiterminal Networks Containing the Closing Contacts of Internal Relays.Ann M. Singleterry & A. G. Lunc - 1966 - Journal of Symbolic Logic 31 (4):664.
  20.  24
    Patrick Suppes and Shirley Hill. First Course in Mathematical Logic. Blaisdell Publishing Company, New York, Toronto, and London, 1964, Ix + 274 Pp. [REVIEW]Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (3):421-422.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  21.  13
    Patrick Suppes. Mathematical Logic for the Schools. The Arithmetic Teacher, Vol. 9 , Pp. 396–399. - Patrick Suppes and Frederick Binford. Experimental Teaching of Mathematical Logic in the Elementary School. The Arithmetic Teacher, Vol. 12 , Pp. 187–195. [REVIEW]Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (3):422.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  23
    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.
  23.  3
    Review: Alan Cobham, Effectively Decidable Theories. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (4):653-653.
  24. Review: Allan Lytel, ABC's of Boolean Algebra. [REVIEW]Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (1):133-133.
  25.  1
    Review: Bertrand Russell, Bertrand Russell's Dictionary of Mind, Matter and Morals. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (4):675-675.
  26. Review: Chen Chung Chang, Anne C. Morel, Some Cancellation Theorems for Ordinal Products of Relations; Chen Chung Chang, Cardinal and Ordinal Multiplication of Relation Types; C. C. Chang, Ordinal Factorization of Finite Relations. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (1):129-130.
  27. Review: Frederick Binford, Solutions to the Exercises in First Course in Mathematical Logic. [REVIEW]Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (3):422-422.
  28.  16
    Review: G. Kreisel, J. Shoenfield, Hao Wang, Number Theoretic Concepts and Recursive Well-Orderings. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (3):511-512.
  29. 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.
  30.  5
    Review: Leon Henkin, Alfred Tarski, Cylindric Algebras. [REVIEW]Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (3):415-416.
  31.  4
    Review: Max Black, Philosophical Analysis, Collection of Essays. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (4):675-676.
  32.  14
    Review: M. I. Kargapolov, On the Elementary Theory of Lattices of Subgroups. [REVIEW]Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (2):279-280.
  33. Review: M. I. Kratko, Formal Post Calculi and Finite Automata. [REVIEW]Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (3):393-393.
     
    Export citation  
     
    Bookmark  
  34. Review: Patrick Suppes, Shirley Hill, First Course in Mathematical Logic. [REVIEW]Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (3):421-422.
  35. Review: Patrick Suppes, Mathematical Logic for the Schools; Patrick Suppes, Frederick Binford, Experimental Teaching of Mathematical Logic in the Elementary School. [REVIEW]Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (3):422-422.
  36.  15
    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.
  37.  3
    Review: W. V. Quine, Logic as a Source of Syntactical Insights. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (3):496-497.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38. Review: Yoshindo Suzuki, Enumeration of Recursive Sets. [REVIEW]Ann M. Singleterry - 1968 - Journal of Symbolic Logic 33 (1):115-115.
  39.  10
    Shoenfield J. R.. The Form of the Negation of a Predicate. Recursive Function Theory, Proceedings of Symposia in Pure Mathematics, Vol. 5, American Mathematical Society, Providence 1962, Pp. 131–134. [REVIEW]Ann M. Singleterry - 1968 - Journal of Symbolic Logic 33 (1):116-116.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  7
    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.
  41.  11
    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.
  42.  3
    First Course in Mathematical Logic.Ann M. Singleterry - 1964 - Journal of Symbolic Logic 32 (3):421-422.
    Direct download  
     
    Export citation  
     
    Bookmark