- 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 Andrzej Ehrenfeucht
22 found
Order:
- Discernible elements in models for peano arithmetic.Andrzej Ehrenfeucht - 1973 - Journal of Symbolic Logic 38 (2):291-292.
- Détlovs V. K.. Normal'nyé algorifmy i rékursivnyé funkcii . Doklady Akadémii Nauk SSSR, vol. 90 , pp. 723–725.Andrzej Ehrenfeucht - 1956 - Journal of Symbolic Logic 21 (4):408-408.
- Elementary Theories with Models without Automorphisms.Andrzej Ehrenfeucht, J. W. Addison, Leon Henkin & Alfred Tarski - 1974 - Journal of Symbolic Logic 39 (2):338-338.
- Markov A. A.. O népréryvnosti konstruktivnyh funkcij . Uspéhi matématičéskih nauk, vol. 9 no. 3 , pp. 226–230.Andrzej Ehrenfeucht - 1956 - Journal of Symbolic Logic 21 (3):319-320.
- Áblonskij S. V.. O supérpoziciáh funkcij algébry logiki . Matématičéskij sbornik, n.s. vol. 30 , pp. 329–348.Andrzej Ehrenfeucht - 1955 - Journal of Symbolic Logic 20 (2):175.
- Two theories with axioms built by means of pleonasms.Andrzej Ehrenfeucht - 1957 - Journal of Symbolic Logic 22 (1):36-38.
- Uspénskij V. A.. Sistémy péréčislimyh množéstv i ih numéracii . Doklady Akadéimii Nauk SSSR, vol. 105 , pp. 1155–1158.Andrzej Ehrenfeucht - 1957 - Journal of Symbolic Logic 22 (2):220-220.
- Andrzej Mostowski and foundational studies.Andrzej Mostowski, Andrzej Ehrenfeucht, Wiktor Marek & Marian Srebrny (eds.) - 2008 - Amsterdam: IOS Press.
- Solution of a Problem of Tarski.John Myhill, Andrzej Ehrenfeucht & Hilary Putnam - 1958 - Journal of Symbolic Logic 23 (4):445-447.
- Adán S. I.. Algoritmičéskaá nérazréšmost' problém raspoznavaniá nékotoryh svojstv grupp . Doklady Akadémii Nauk SSSR, vol. 103 , pp. 533–535.Adán S. I.. Konéčnooprédélénnyé gruppy i algoritmy . Uspéhi matématičiskih nauk, vol. 12 no. 3 , pp. 248–249. [REVIEW]Andrzej Ehrenfeucht - 1958 - Journal of Symbolic Logic 23 (1):54-54.
- Áblonskij S. V.. O funkcional′noj polnoté v tréhznačnom isčislénii . Doklady Akadémii Nauk SSSR, vol. 95 , pp. 1153–1155. [REVIEW]Andrzej Ehrenfeucht - 1955 - Journal of Symbolic Logic 20 (2):175-175.
- Áblonskij S. V.. Funkcional'nyé postroéniá v mnogoznačnyh logikah . Trudy Trét'égo Vséesoúznogo Matématičéskogo Sézda, Moskva, iún'-iúl' 1956, Vol. 2, Moscow 1956, pp. 71–73. [REVIEW]Andrzej Ehrenfeucht - 1958 - Journal of Symbolic Logic 23 (1):65-65.
- Newell Allen and Simon Herbert A.. The logic theory machine. A complex information processing system. Institute of Radio Engineers, Transactions on information theory, vol. IT-2 no. 3 , pp. 61–79. [REVIEW]Andrzej Ehrenfeucht - 1957 - Journal of Symbolic Logic 22 (3):331-332.
- Review: A. A. Markov, On the Continuity of Constructive Functions. [REVIEW]Andrzej Ehrenfeucht - 1956 - Journal of Symbolic Logic 21 (3):319-320.
- Review: Allen Newell, Herbert A. Simon, The Logic Theory Machine. A Complex Information Processing System. [REVIEW]Andrzej Ehrenfeucht - 1957 - Journal of Symbolic Logic 22 (3):331-332.
- Review: S. I. Adan, On the Divisibility Problem in Semigroups. [REVIEW]Andrzej Ehrenfeucht - 1958 - Journal of Symbolic Logic 23 (1):54-55.Export citation
Bookmark - Review: S. I. Adan, The Algorithmic Unsolvability of the Problem of Checking Certain Properties of Groups; S. I. Adan, Finitely Generated Groups and Algorithms. [REVIEW]Andrzej Ehrenfeucht - 1958 - Journal of Symbolic Logic 23 (1):54-54.Export citation Bookmark
- Review: S. V. Ablonskij, On Functional Completeness in the Three-Valued Calculus. [REVIEW]Andrzej Ehrenfeucht - 1955 - Journal of Symbolic Logic 20 (2):175-175.
- Review: S. V. Ablonskij, On Superpositions of Functions of the Algebra of Logic. [REVIEW]Andrzej Ehrenfeucht - 1955 - Journal of Symbolic Logic 20 (2):175-175.
- Review: S. V. Ablonskij, Functional Constructions in Many-Valued Logics. [REVIEW]Andrzej Ehrenfeucht - 1958 - Journal of Symbolic Logic 23 (1):65-65.
- Review: V. A. Uspenskij, Systems of Enumerable Sets and Their Enumerations. [REVIEW]Andrzej Ehrenfeucht - 1957 - Journal of Symbolic Logic 22 (2):220-220.
- Review: V. K. Detlovs, Normal Algorithms and Recursive Functions. [REVIEW]Andrzej Ehrenfeucht - 1956 - Journal of Symbolic Logic 21 (4):408-408.
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-6686886f5-xdvnm uwo