- 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
Results for 'Ann Singleterry Ferebee'
(not author) ( search as author name )
991 found
Order:
- Marlow Sholander. Postulates for Boolean algebras. Canadian journal of mathematics , vol. 5 , pp. 460–464.Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):304.
- Kleene Stephen Cole. Introduction to metamathematics. Fourth printing of XIX 215. North-Holland Publishing Co., Amsterdam, P. Noordhoff Ltd., Groningen, and D. Van Nostrand Company, Princeton, Toronto, and New York, 1964, x + 550 pp. [REVIEW]Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.
- Review: Stephen Cole Kleene, Introduction to Metamathematics. [REVIEW]Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.Export citation
Bookmark - Review: V. L. Murskii, On the Equivalent Transformations of Switching Circuits; V. L. Murskii, Equivalent Tranformations of Contact-Rectifier Schemes. [REVIEW]Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (3):467-467.
- V. L. Murskij. Ob ekvivaléntnyh préobrazovaniáh kontaktnyh shém. Problémy kibérnétiki, vol. 5 , pp. 61–76. - W. L. Murski. Über äquivalente Transformationen von Kontakt-Schaltungen. German translation of the preceding by Franziska Grassme. Probleme der Kybernetik, vol. 5 , pp. 44–64. - V. L. Murskii. On the equivalent transformations of switching circuits. English translation of the same. Problems of cybernetics, vol. 5 , pp. 77–98. - V. L. Murskij. Ob ekvivaléntnyh préobrazovaniáh kontaktno-véntil′nyh shém. Doklady Akadémii Nauk SSSR, vol. 136 , pp. 1043–1046. [REVIEW]Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (3):467.
- Aspects of the Theory of Syntax.Ann S. Ferebee - 1965 - Journal of Symbolic Logic 35 (1):167.
- The Philosophy of Bertrand Russell.Ann S. Ferebee - 1969 - Journal of Symbolic Logic 34 (3):495-496.
- Philosophical Analysis, Collection of Essays.Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (4):675-676.
- Rekursive Funktionen.Ann S. Ferebee - 1981 - Journal of Symbolic Logic 46 (1):165-166.
- 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.
- 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.
- 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.
- 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.
- 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.
- A. B. Hutoréckij. O rékursivnom izomorfizmé . Algébra i logika, Séminar, vol. 4 no. 3 , pp. 85–88.Ann S. Ferebee - 1969 - Journal of Symbolic Logic 34 (1):117.
- Alan Rose. Extensions of some theorems of Schmidt and McKinsey, I. Norsk matematisk tidsskrift, vol. 34 , pp. 1–9.Ann S. Ferebee - 1971 - Journal of Symbolic Logic 36 (4):690-690.
- Blum Alex. The missing premiss. Notre Dame journal of formal logic, vol. 11 , pp. 203–204.Ann S. Ferebee - 1971 - Journal of Symbolic Logic 36 (4):689.
- Erwin Engeler. Algorithmic properties of structures. Mathematical systems theory, vol. 1 , pp. 183–195.Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (1):197.
- Elvin Rasof. The Carrollian Matrix. Notre Dame journal of formal logic, vol. 11 , pp. 497–504.Ann S. Ferebee - 1971 - Journal of Symbolic Logic 36 (4):689-689.
- Xenakis Jason. Truth-functional perturbations. Logique et analyse., n. s. vol. 12 , pp. 275–276.Ann S. Ferebee - 1971 - Journal of Symbolic Logic 36 (3):551.
- Markov A.. O nérazréšimosti nékotoryh problém topologii . Doklady Akadémii Nauk SSSR, vol. 123 , pp. 978–980.Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (1):197-197.
- Raymond M. Smullyan. Elementary formal systems. Journal of the Mathematical Society of Japan, vol. 13 , pp. 38–44.Ann S. Ferebee - 1969 - Journal of Symbolic Logic 34 (1):117.
- S. I. Adán. Problema algoritma . Nauka i žizn′, no. 8 , pp. 13–14.Ann S. Ferebee - 1971 - Journal of Symbolic Logic 36 (3):540.
- V. I. Klévačév. O nékotoryh sistémah, polnyh υ Pk . Kibérnétika , no. 5 , pp. 139–140.Ann S. Ferebee - 1975 - Journal of Symbolic Logic 40 (3):465-466.
- V. I. Kolpakov. Océnka čisla pokrytij n-mérnogo kuba . Diskrétnyj analiz, no. 14 , pp. 16–17.Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):627.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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: Alan Cobham, Effectively Decidable Theories. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (4):653-653.
- Review: Allan Lytel, ABC's of Boolean Algebra. [REVIEW]Ann M. Singleterry - 1967 - Journal of Symbolic Logic 32 (1):133-133.Export citation Bookmark
- 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.
- 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.Export citation Bookmark
- 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.
- 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
| 1 — 50 / 991 |
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-5ff6c685cb-rv6xt uwo