- 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 A. Ehrenfeucht
16 found
Order:
Disambiguations
Disambiguations:
| Andrzej Ehrenfeucht [13] | A. Ehrenfeucht [11] |
- Models of Axiomatic Theories Admitting Automorphisms.A. Ehrenfeucht & A. Mostowski - 1966 - Journal of Symbolic Logic 31 (4):644-645.
- Discernible elements in models for peano arithmetic.Andrzej Ehrenfeucht - 1973 - Journal of Symbolic Logic 38 (2):291-292.
- (1 other version)Representability op recursively enumerable sets in formal theories.A. Ehrenfeucht & S. Feferman - 1960 - Archive for Mathematical Logic 5 (1-2):37-41.No categories
- What is the role of practice in cognition.Pm Baggett & A. Ehrenfeucht - 1988 - Bulletin of the Psychonomic Society 26 (6):503-503.Export citation
Bookmark - A Compact Space of Models of First Order Theories.A. Ehrenfeucht & A. Mostowski - 1970 - Journal of Symbolic Logic 35 (4):586-587.
- 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.
- (1 other version)Review: A. S. Esenine-Volpine, Le Programme Ultra-Intuitionniste des Fondements des Mathematiques. [REVIEW]G. Kreisel & A. Ehrenfeucht - 1967 - Journal of Symbolic Logic 32 (4):517-517.
- Á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: 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.
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-559df78dcc-45kst uwo