84 found
Order:
Disambiguations
Ann S. Ferebee [81]Ann Singleterry Ferebee [6]
  1.  14
    Aspects of the Theory of Syntax.Ann S. Ferebee - 1965 - Journal of Symbolic Logic 35 (1):167.
  2.  35
    Miroslav Mleziva. К Axiomatisaci Trojhodnotové Výrokové Logiky . Czech with Czech, Russian, and English Summaries. Časopis Pro Pěstování Matematiky, Vol. 86 , Pp. 392–403. [REVIEW]Ann S. Ferebee - 1970 - Journal of Symbolic Logic 35 (3):465.
  3.  32
    Marc A. Aiserman, Leonid A. Gusev, Lev I. Rozonoer, Irina M. Smirnova, and Aleksey A. Tal. Logic, Automata, and Algorithms. Revised English Translation of XXXI 109 by Scripta Technica, Inc., George M. Kranc, Translation Editor. Academic Press, New York and London1971, Xii + 433 Pp. - Mark Aronowitsch Aiserman, L. A. Gussew, L. I. Rosonoer, I. M. Smirnova, and A. A. Tal. Logik—Automaten—Algorithmen. Revised German Translation of the Same by Rudolf Herschel. R. Oldenbourg Verlag, Munich and Vienna1967, X + 431 Pp. - M. A. Ajzerman, L. A. Gusev, L. I. Rozonoer, I. M. Smirnova, and A. A. Tal. Logika, Automaty a Algoritmy. Czech Translation of the Same by Jaroslav Volčik, Miroslav Mleziva, and Antonín Mykiska. Československá Akademie Věd, Prague1971, 407 Pp. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):625.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  30
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  29
    Glenn James and Robert C. James, Editors. Mathematics Dictionary. D. Van Nostrand Company, Inc., Toronto, New York, and London, 1949, V + 432 Pp. - Glenn James and Robert C. James, Editors. Mathematics Dictionary. Second, Revised and Enlarged Edition, with Multilingual Index Added. D. Van Nostrand Company, Inc., Princeton, New Jersey, Toronto, New York, and London, 1959, 546 Pp. - Robert C. James and Edwin F. Beckenbach. James & James Mathematics Dictionary. Third Edition. D. Van Nostrand Company, Inc., Princeton, New Jersey, London, Toronto, and Melbourne, 1968, Vii + 517 Pp. [REVIEW]Ann S. Ferebee - 1973 - Journal of Symbolic Logic 38 (1):150-151.
  6.  29
    Ú. V. Matiásévič Dvé Rédukcii 10-J Problémy Gilbérta. Isslédovaniá Po Konstruktivnoj Matématiké I Matématičéskoj Logiké, II, Edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta Im. V. A. Stéklova AN SSSR, Vol. 8, Izdatél'stvo “Nauka,” Leningrad 1968, Pp. 144–158. - Yu. V. Matiyasevich. Two Reductions of Hilbert's Tenth Problem. English Translation of the Preceding. Studies in Constructive Mathematics and Mathematical Logic, Part II, Edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, Vol. 8, Consultants Bureau, New York-London 1970, Pp. 68–74. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):604-605.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7.  23
    Charles K. CobbJr., and Daniel P. Thompson. Law, Logic, and Rationality. Jurimetrics Journal, Vol. 11 No. 1 , Pp. 1–12. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):630.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  8.  22
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  21
    Klaus Heidler, Hans Hermes, and Friedrich-K. Mahn. Rekursive Funktionen. Bibliographisches Institut-Wissenschaftsverlag, Mannheim, Vienna, and Zurich, 1977, Vii + 236 Pp. [REVIEW]Ann S. Ferebee - 1981 - Journal of Symbolic Logic 46 (1):165-166.
  10.  18
    Ú. V. Matiásévič. Diofantovo Prédstavlénié Množéstva Prostyh Čisél. Doklady Akadémii Nauk SSSR, Vol. 196 , Pp. 770–773. - Ju. V. Matijasevič. Diophantine Representation of the Set of Prime Numbers. English Translation of the Preceding by R. N. Gross, with an Addendum. Soviet Mathematics, Vol. 12 No. 1 , Pp. 249–254. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):607.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  17
    Bertrand Russell. My Mental Development. A Reprint of IX 82. The Philosophy of Bertrand Russell, Edited by Paul Arthur Schilpp, Second Edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, Pp. 1–20; Also Third Edition, Tudor Publishing Company, New York 1951, Pp. 1-20; Also Paper-Bound Reprint of the Third Edition, Harper Torchbooks, Harper & Row, Publishers, New York, Evanston, and London, 1963, Vol. I, Pp. 1-20. - Hans Reichenbach. Bertrand Russell's Logic. A Reprint of IX 76. The Philosophy of Bertrand Russell, Edited by Paul Arthur Schilpp, Second Edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, Pp. 21–54; Also Ibid. 1951, Pp. 21-54; Also Ibid. 1963, Vol. I, Pp. 21-54. - Morris Weitz. Analysis and the Unity of Russell's Philosophy. A Reprint of IX 77. The Philosophy of Bertrand Russell, Edited by Paul Arthur Schilpp, Second Edition, The Library of Living Philosophers, Inc., Evanston, Illinois, 1946, Pp. 55–121; Also Ibid. 1951, Pp. [REVIEW]Ann S. Ferebee - 1969 - Journal of Symbolic Logic 34 (3):495-496.
  12.  15
    Dennis Spellman. A Generalization of the Structure of the Sentential Calculus. Pi Mu Epsilon Journal, Vol. 4 , Pp. 149–155. [REVIEW]Ann S. Ferebee - 1969 - Journal of Symbolic Logic 34 (2):308-309.
  13.  15
    Lynn H. Loomis and Shlomo Sternberg. Advanced Calculus. Addison-Wesley Publishing Company, Reading, Mass., Menlo Park, Calif., London, and Don Mills, Ontario, 1963, Xi + 580 Pp. [REVIEW]Ann S. Ferebee - 1969 - Journal of Symbolic Logic 33 (4):631-632.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  15
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  15
    Robert McNaughton. Automata, Formal Languages, Abstract Switching, and Computability in a Ph. D. Computer Science Program. Communications of the ACM, Vol. 11 , Pp. 738–740, 746. [REVIEW]Ann S. Ferebee - 1969 - Journal of Symbolic Logic 34 (4):656.
  16.  15
    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.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17.  15
    Ú. V. Matiásévič Arifmétičéskié Prédstavléniá Stépénéj. Isslédovaniá Po Konstruktivnoj Matématiké I Matématičéskoj Logiké, II, Edited by A. O. Slisénko, Zapiski Naučnyh Séminarov Léningradskogo Otdéléniá Ordéna Lénina Matématičéskogo Instituta Im. V. A. Stéklova AN SSSR, Vol. 8, Izdatél'stvo “Nauka,” Leningrad 1968, Pp. 159–165. - Yu. V. Mattyasevich. Arithmetic Representations of Powers. English Translation of the Preceding. Studies in Constructive Mathematics and Mathematical Logic, Part II, Edited by A. O. Slisenko, Seminars in Mathematics, V. A. Steklov Mathematical Institute, Leningrad, Vol. 8, Consultants Bureau, New York-London 1970, Pp. 75–78. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):605.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  14
    Kargapolov M. I., Mérzlákov Ú. I., and Réméslénnikov V. N.. Kourovskaá Tétrad’ ). Third Edition, Supplemented. Akadémiá Nauk SSSR, Sibirskoé Otdélénié, Institut Matématiki, Novosibirsk 1969, 63 Pp. [REVIEW]Ann S. Ferebee - 1970 - Journal of Symbolic Logic 35 (4):587.
  19.  13
    Kiyoshi Iséki. On the Cut Operation in Gentzen Calculi. Proceedings of the Japan Academy, Vol. 32 , Pp. 719–721, and Vol. 33 , Pp. 98–99. [REVIEW]Ann S. Ferebee - 1971 - Journal of Symbolic Logic 36 (3):528.
  20.  12
    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.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  11
    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.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  22.  11
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  10
    Ronald Prather. Computational Aids for Determining the Minimal Form of a Truth Function. Journal of the Association for Computing Machinery, Vol. 7 , Pp. 299–310. [REVIEW]Ann S. Ferebee - 1968 - Journal of Symbolic Logic 33 (4):630.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  24.  8
    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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  8
    M. Gross and A. Lentin. Introduction to Formal Grammars. English Translation of XXXIV 298 by M. Salkoff. Springer-Verlag, New York, Heidelberg, and Berlin, 1970, XI + 231 Pp. - Noam Chomsky. Preface. Therein, Pp. VII–IX. [REVIEW]Ann S. Ferebee - 1971 - Journal of Symbolic Logic 36 (2):346.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  38
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  6
    A. S. Kuzičév. Diagrammy Vénna. Istoriá I Priménéniá. Izdatél'stvo “Nauka,” Moscow1968, 252 Pp. [REVIEW]Ann S. Ferebee - 1975 - Journal of Symbolic Logic 40 (3):469-470.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  28.  7
    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.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29.  23
    Henkin L.. Boolean Representation Through Propositional Calculus. Fundamenta Mathematicae, Vol. 41 No. 1 , Pp. 89–96.Łoś J.. Remarks on Henkin's Paper: Boolean Representation Through Propositional Calculus. Fundamenta Mathematicae, Vol. 44 No. 1 , Pp. 82–83. [REVIEW]Ann S. Ferebee - 1973 - Journal of Symbolic Logic 38 (3):521-522.
  30.  27
    Review: Marc A. Aiserman, Leonid A. Gusev, Lev I. Rozonoer, Irina M. Smirnova, Aleksey A. Tal, George M. Kranc, Logic, Automata, and Algorithms. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):625-625.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  28
    Review: Lynn H. Loomis, Shlomo Sternberg, Advanced Calculus. [REVIEW]Ann S. Ferebee - 1968 - Journal of Symbolic Logic 33 (4):631-632.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  32.  15
    Chomsky Noam. Aspects of the Theory of Syntax. A Paperbound Edition of XXXII 385. The M.I.T. Press, Massachusetts Institute of Technology, Cambridge, Massachusetts, 1969, X + 251 Pp. [REVIEW]Ann S. Ferebee - 1970 - Journal of Symbolic Logic 35 (1):167-167.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  14
    Review: Kiyoshi Iseki, On the Cut Operation in Gentzen Calculi. [REVIEW]Ann S. Ferebee - 1971 - Journal of Symbolic Logic 36 (3):528-528.
  34.  11
    Fitch Frederic B.. Algebraic Simplification of Redundant Sequential Circuits. Synthese, Vol. 15 , Pp. 155–166. Reprinted in Form and Strategy in Science, Dordrecht 1964, Pp. 191-202. [REVIEW]Ann S. Ferebee - 1975 - Journal of Symbolic Logic 40 (4):615-615.
  35.  2
    Giuseppe Vaccarino. Il calcolo delle proposizioni. Archimede, vol. 1 , pp. 229–233; vol. 2 , pp. 96-98, 201-206.Ann S. Ferebee - 1969 - Journal of Symbolic Logic 34 (2):308.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36.  13
    Review: Ju. V. Matijasevic, R. N. Gross, Diophantine Representation of the Set of Prime Numbers. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):607-607.
  37.  8
    Keene G. B.. Abstract Sets and Finite Ordinals. An Introduction to the Study of Set Theory. Pergamon Press, New York, Oxford, London, and Paris, 1961, X + 106 Pp. [REVIEW]Ann S. Ferebee - 1971 - Journal of Symbolic Logic 36 (3):543-543.
  38.  11
    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.
  39.  7
    Tursman Richard. The Shortest Axioms of the Implicational Calculus. Notre Dame Journal of Formal Logic, Vol. 9 No. 4 , Pp. 351–358. [REVIEW]Ann S. Ferebee - 1971 - Journal of Symbolic Logic 36 (4):690.
  40.  6
    Bowran A. P.. A Boolean Algebra Abstract and Concrete. Macmillan & Co. Ltd, London, and St. Martin's Press, New York, 1965, Vii + 93 Pp. [REVIEW]Ann S. Ferebee - 1971 - Journal of Symbolic Logic 36 (4):677-677.
  41.  6
    McLaughlin T. G.. A Theorem on Productive Functions. Proceedings of the American Mathematical Society, Vol. 14 , P. 444. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (1):196-196.
  42.  7
    Review: Charles K. Cobb, Daniel P. Thompson, Law, Logic, and Rationality. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):630-630.
  43.  7
    Review: Haskell B. Curry, A Theory of Formal Deducibility. [REVIEW]Ann S. Ferebee - 1969 - Journal of Symbolic Logic 34 (1):113-113.
  44.  8
    Review: Raymond M. Smullyan, Elementary Formal Systems. [REVIEW]Ann S. Ferebee - 1969 - Journal of Symbolic Logic 34 (1):117-117.
  45.  8
    Review: Glenn James, Robert C. James, Mathematics Dictionary; Robert C. James, Edwin F. Beckenbach, James & James Mathematics Dictionary. [REVIEW]Ann S. Ferebee - 1973 - Journal of Symbolic Logic 38 (1):150-151.
  46.  1
    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.
  47. Review: Stephen Cole Kleene, Introduction to Metamathematics. [REVIEW]Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.
     
    Export citation  
     
    Bookmark  
  48.  6
    Review: G. N. Povarov, A Mathematical Theory for the Synthesis of Contact Networks with One Inpu and $K$ Outputs. [REVIEW]Ann S. Ferebee - 1973 - Journal of Symbolic Logic 38 (2):343-344.
  49.  7
    Review: M. I. Kargapolov, U. I. Merzlakov, V. N. Remeslennikov, (Kourovskad Tetrad'neresennye Zadaci Teorii Grupp): Kourovsk Exercise Book. [REVIEW]Ann S. Ferebee - 1970 - Journal of Symbolic Logic 35 (4):587-587.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50.  5
    Review: V. I. Klevacev, On a Proof of Completeness in $PK$ of Simultaneous Functions $K - 2, Sim X, X_1 Supset X2$. [REVIEW]Ann S. Ferebee - 1975 - Journal of Symbolic Logic 40 (3):465-466.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 84