- 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 S. Ferebee'
1000+ found
Order:
- 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.
- Rekursive Funktionen.Ann S. Ferebee - 1981 - Journal of Symbolic Logic 46 (1):165-166.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Review: S. I. Adan, Problema algoritma (Problem of Algorithm). [REVIEW]Ann S. Ferebee - 1971 - Journal of Symbolic Logic 36 (3):540-540.
- Review: A. S. Kuzicev, Venn Diagrams. History and Applications. [REVIEW]Ann S. Ferebee - 1975 - Journal of Symbolic Logic 40 (3):469-470.
- 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.
- 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.
- 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.
- G. N. Povarov. Matématiko-logičéskoe isslédovanié sintéza kontaktnyh shém s odnim vhodom i k vyhodami . A reprint of XXXV 175 with minor corrections. Logičéskié isslédovaniá, Sbornik statéj, Izdatél′stvo Akadémii Nauk SSSR, Moscow1959, pp. 379–405. [REVIEW]Ann S. Ferebee - 1973 - Journal of Symbolic Logic 38 (2):343-344.
- Review: Yu. V. Matiyasevich, A. O. Slisenko, The Connection between Hilbert's Tenth Problem and Systems of Equations between Words and Lengths. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):604-604.
- Review: Yu. V. Matiyasevich, A. O. Slisenko, Two Reductions of Hilbert's Tenth Problem. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):604-605.
- Ú. 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.
- Asser G.. Einführung in die mathematische Logik. Teil I. Aussagenkalkül. A reprint of XXV 276. Mathematisch-naturwissenschaftliche Bibliothek, no. 18. B. G. Teubner Verlagsgesellschaft, Leipzig 1965, VI + 184 pp. [REVIEW]Ann S. Ferebee - 1968 - Journal of Symbolic Logic 33 (2):304-304.
- Beth Evert W.. The foundations of mathematics. A study in the philosophy of science. Second, revised, edition of XXVII 73. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam 1965, xxviii + 741 pp.Beth Evert W.. The foundations of mathematics. A study in the philosophy of science. A paper-bound reprint of the foregoing. Harper & Row, New York 1966, xxviii + 741 pp. [REVIEW]Ann S. Ferebee - 1969 - Journal of Symbolic Logic 33 (4):618-618.
- Curry Haskell B.. A theory of formal deducibility. Second edition of XVI 56. Notre Dame mathematical lectures, no. 6. Lithoprinted. University of Notre Dame, Notre Dame, Indiana, 1957, xi + 129 pp. [REVIEW]Ann S. Ferebee - 1969 - Journal of Symbolic Logic 34 (1):113-113.
- 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.
- 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.
- Dennis Spellman. A generalization of the structure of the sentential calculus. Pi Mu Epsilon journal, vol. 4 (1966), pp. 149–155. [REVIEW]Ann S. Ferebee - 1969 - Journal of Symbolic Logic 34 (2):308-309.
- 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.
- 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.
- Giuseppe Vaccarino. Il calcolo delle proposizioni. Archimede, vol. 1 (1949), pp. 229–233; vol. 2 (1950), pp. 96-98, 201-206. [REVIEW]Ann S. Ferebee - 1969 - Journal of Symbolic Logic 34 (2):308-308.
- Hermes Hans. La teoría de retículos y su aplicación a la lógica matemática. Conferencias de Matemática V, Publicaciónes del Seminario Matemático de Zaragoza, Madrid 1963, 57 pp. [REVIEW]Ann S. Ferebee - 1971 - Journal of Symbolic Logic 36 (3):545-546.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Matijasevič Ju. V.. Diophantine representation of recursively enumerable predicates. Proceedings of the Second Scandinavian Logic Symposium, edited by Fenstad J. E., Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London 1971, pp. 171–177. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):606-606.
- 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.
- 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.
- Review: Alex Blum, The Missing Premiss. [REVIEW]Ann S. Ferebee - 1971 - Journal of Symbolic Logic 36 (4):689-689.
- Review: A. B. Hutoreckij, On Recursive Isomorphism. [REVIEW]Ann S. Ferebee - 1969 - Journal of Symbolic Logic 34 (1):117-117.
- Review: A. Markov, On the Unsolvability of some problems in topology. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (1):197-197.
- Review: A. P. Bowran, A Boolean Algebra Abstract and Concrete. [REVIEW]Ann S. Ferebee - 1971 - Journal of Symbolic Logic 36 (4):677-677.
- Review: Alan Rose, Extensions of Some Theorems of Schmidt and McKinsey, I. [REVIEW]Ann S. Ferebee - 1971 - Journal of Symbolic Logic 36 (4):690-690.
- Review: Charles K. Cobb, Daniel P. Thompson, Law, Logic, and Rationality. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (3):630-630.
| 1 — 50 / 1000 |
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-64dd777598-pjbg5 uwo