Results for 'Andrzej Ehrenfeucht'

1000+ found
Order:
  1.  7
    Andrzej Mostowski and foundational studies.Andrzej Mostowski, Andrzej Ehrenfeucht, Wiktor Marek & Marian Srebrny (eds.) - 2008 - Amsterdam: IOS Press.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  29
    Discernible elements in models for peano arithmetic.Andrzej Ehrenfeucht - 1973 - Journal of Symbolic Logic 38 (2):291-292.
  3.  15
    Two theories with axioms built by means of pleonasms.Andrzej Ehrenfeucht - 1957 - Journal of Symbolic Logic 22 (1):36-38.
  4.  13
    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.
  5.  21
    Elementary Theories with Models without Automorphisms.Andrzej Ehrenfeucht, J. W. Addison, Leon Henkin & Alfred Tarski - 1974 - Journal of Symbolic Logic 39 (2):338-338.
  6.  12
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  9
    Á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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  11
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  20
    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.
  10.  8
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  7
    Á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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  12
    Á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.
  13.  3
    Review: A. A. Markov, On the Continuity of Constructive Functions. [REVIEW]Andrzej Ehrenfeucht - 1956 - Journal of Symbolic Logic 21 (3):319-320.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14. Review: S. I. Adan, On the Divisibility Problem in Semigroups. [REVIEW]Andrzej Ehrenfeucht - 1958 - Journal of Symbolic Logic 23 (1):54-55.
  15. 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.
  16.  7
    Review: S. V. Ablonskij, On Functional Completeness in the Three-Valued Calculus. [REVIEW]Andrzej Ehrenfeucht - 1955 - Journal of Symbolic Logic 20 (2):175-175.
  17.  8
    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.
  18.  6
    Review: S. V. Ablonskij, Functional Constructions in Many-Valued Logics. [REVIEW]Andrzej Ehrenfeucht - 1958 - Journal of Symbolic Logic 23 (1):65-65.
  19.  6
    Review: V. A. Uspenskij, Systems of Enumerable Sets and Their Enumerations. [REVIEW]Andrzej Ehrenfeucht - 1957 - Journal of Symbolic Logic 22 (2):220-220.
  20.  1
    Review: V. K. Detlovs, Normal Algorithms and Recursive Functions. [REVIEW]Andrzej Ehrenfeucht - 1956 - Journal of Symbolic Logic 21 (4):408-408.
  21.  9
    Solution of a Problem of Tarski.John Myhill, Andrzej Ehrenfeucht & Hilary Putnam - 1958 - Journal of Symbolic Logic 23 (4):445-447.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  18
    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.
  23.  5
    Andrzej Ehrenfeucht. Elementary theories with models without automorphisms. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 70–76. [REVIEW]William Glassmire - 1974 - Journal of Symbolic Logic 39 (2):338.
  24.  10
    Review: Andrzej Ehrenfeucht, J. W. Addison, Leon Henkin, Alfred Tarski, Elementary Theories with Models without Automorphisms. [REVIEW]William Glassmire - 1974 - Journal of Symbolic Logic 39 (2):338-338.
  25.  11
    Review: John Myhill, Solution of a Problem of Tarski; Andrzej Ehrenfeucht, Two Theories with Axioms Built by means of Pleonasms; Hilary Putnam, Decidability and Essential Undecidability. [REVIEW]Solomon Feferman - 1958 - Journal of Symbolic Logic 23 (4):445-447.
  26. Mesjanizm polski w recepcji historiozoficznej Stanisława Garfeina-Garskiego.Andrzej Wawrzynowicz - 2021 - Przeglad Filozoficzny - Nowa Seria:281-293.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27. Proceedings of the 8th International Congress for Logic, Methodology and Philosophy.Andrzej Wiśniewski (ed.) - 1987
    No categories
     
    Export citation  
     
    Bookmark  
  28.  5
    Poznanie innych umysłów według Romana Ingardena. Analiza krytyczna.Andrzej Stępnik - 2020 - Przeglad Filozoficzny - Nowa Seria:301-318.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  4
    Karol Marks jako prognosta.Andrzej Stępnik - 2018 - Przeglad Filozoficzny - Nowa Seria:217-233.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  3
    Pierwotność pojęcia osoby u P.F. Strawsona. Analiza krytyczna.Andrzej Stępnik - 2019 - Przeglad Filozoficzny - Nowa Seria:299-316.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  7
    Hacia Una Tipología De Las Fórmulas De Saludo En La Historia Del Español.Andrzej Zieliński - 2019 - Pragmática Sociocultural 7 (2):155-181.
    Resumen El objetivo del presente artículo es analizar en la historia del español dos tipos de fórmulas de saludo, entendidas como unidades discursivas propias del acto de habla expresivo que sirven para abrir el canal comunicativo de las relaciones sociales. A través de la búsqueda sistemática en textos del CORDE de hasta finales del siglo XIX, intentaremos hallar (i) los factores sociopragmáticos que desempeñan el papel más importante en cada tipo de saludo, (ii) el origen paradigmático de cada fórmula, (iii) (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  4
    Filozoficzne podłoże rozłamu chrześcijaństwa.Andrzej Siemianowski - 1993 - Wrocław: Wydawn. Uniwersytetu Wrocławskiego.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  1
    Wielkość i nędza człowieka: rozważania o Pascalu.Andrzej Siemianowski - 1993 - Wrocław: Wydawn. Uniwersytetu Wrocławskiego.
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  36
    Semantic Translation of Programming Languages.Andrzej Skowron - 1971 - Mathematical Logic Quarterly 17 (1):39-46.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  1
    Revised but Not Secured.Andrzej Zabludowski - 1982 - Journal of Philosophy 79 (6):329-332.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  4
    Filozofia: jej istota i funkcje.Andrzej L. Zachariasz - 1999 - Rzeszów: Wydawn. Wyzszej Szkoy Pedagogicznej.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  2
    Nowoczesna eseistyka filozoficzna w piśmiennictwie polskim pierwszej połowy XX wieku.Andrzej Zawadzki - 2001 - Kraków: Universitas.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  22
    The hilbert type axiomatization of some three-valued propositional logic.Andrzej Zbrzezny - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (5):415-421.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  5
    Państwo prawa.Andrzej Zoll - 1970 - Forum Philosophicum: International Journal for Philosophy 2 (1):15-20.
    The changes brought about in Poland and elsewhere in Europe by the fall of Communism have given rise to hopes for the establishment of a political system differing from the one which had been the fate of these countries. In place of totalitarianism, a new political system is to be created based on the democratic principles of a state under the rule of law. The transformation from totalitarianism to democracy is a process which has not yet been completed in Poland (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  40.  18
    The State and the Rule of Law.Andrzej Zoll & Teresa Baluk-Ulewiczowa - 1970 - Forum Philosophicum: International Journal for Philosophy 2 (1):7-13.
    The changes brought about in Poland and elsewhere in Europe by the fall of Communism have given rise to hopes for the establishment of a political system differing from the one which had been the fate of these countries. In place of totalitarianism, a new political system is to be created based on the democratic principles of a state under the rule of law. The transformation from totalitarianism to democracy is a process which has not yet been completed in Poland (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  41.  37
    Socratic Proofs for Quantifiers★.Andrzej Wiśniewski & Vasilyi Shangin - 2006 - Journal of Philosophical Logic 35 (2):147-178.
    First-order logic is formalized by means of tools taken from the logic of questions. A calculus of questions which is a counterpart of the Pure Calculus of Quantifiers is presented. A direct proof of completeness of the calculus is given.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  42.  1
    W kręgu wpływów ideowych Ludwiga Wittgensteina. O wcześniejszej filozofii Profesora Bogusława Wolniewicza.Józef Andrzej Stuchliński - 2018 - Przeglad Filozoficzny - Nowa Seria:189-197.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  2
    Wykładnia mimesis tragedii w Poetyce (6–19) Arystotelesa.Marian Andrzej Wesoły - 2023 - Peitho 14 (1):45-68.
    The aim of this article is to present a new Polish translation of Aristotle’s Poetics, namely, those of its central chapters (6–19) that deal with the Stagirite’s explication of the mimesis of tragedy. When interpreting the first five chapters of the treatise, it is important to recognize the mimetic distinctions and forms according to means and objects as well as the question of how poetic creativity takes shape (generally from improvisation through epic to comedy and tragedy). On the basis of (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  26
    Who Permits Evil? Plantinga’s Free Will Defense and Kierkegaard’s Free Spirit Offense: In Search of a Coherent Theistic Solution to the Problem of Evil.Andrzej Słowikowski - 2017 - Kierkegaard Studies Yearbook 27 (1):369-402.
    The aim of this essay is to create a coherent theistic model of a solution to the problem of evil. To this end, it is shown that the differences in Kierkegaard’s and Plantinga’s accounts of the problem of evil can be reconciled if looked at from a broader theistic perspective. This requires, on the one hand, that Plantinga’s immanent and logical vision be extended to include Kierkegaard’s spiritual and existential view of evil, and, on the other hand, that a correction (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45. Filozoficzne podłoże rozłamu chrześcijaństwa.Andrzej Siemianowski - 1993 - Wrocław: Wydawn. Uniwersytetu Wrocławskiego.
    Direct download  
     
    Export citation  
     
    Bookmark  
  46. Z zagadnień ogólnej metodologii nauk.Andrzej Siemianowski - 1978 - Wrocław: PW.
    No categories
     
    Export citation  
     
    Bookmark  
  47.  3
    Communication in the families of high-achieving students.Andrzej Edward Sękowski & Sylwia Gwiazdowska-Stańczak - forthcoming - Polish Psychological Bulletin:424-431.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  5
    W poszukiwaniu realistycznego pojęcia osoby.Andrzej Sołtys - 2020 - Principia 2020:183-207.
    W kontekście wielości pojęć osoby i ich znaczenia dla sposobu organizowania przez człowieka życia jednostkowego i społecznego, sprawą kluczową jest zwrot w kierunku realistycznego pojęcia osoby. W niniejszym studium przeprowadzono krytyczną analizę kilku wybranych relacjonalnych koncepcji osoby z pozycji tomizmu egzystencjalnego. W efekcie przeprowadzonej analizy potwierdzono założoną hipotezę, iż wybrane relacjonalne koncepcje osoby mają charakter aprioryczny, jednakże tylko w odniesieniu do istoty osoby. Studium odpowiada na pytanie, dlaczego analizowane koncepcje nie wyjaśniają samej istoty realnej osoby ludzkiej, a tylko wskazują na (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49. 8. Can a Refugee be One’s Neighbor in an Ethical Sense?Andrzej Słowikowski - 2020 - In Mélissa Fox-Muraton (ed.), Kierkegaard and Issues in Contemporary Ethics. Boston: De Gruyter. pp. 147-168.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  7
    The rudin–keisler ordering of p-points under ???? = ????Andrzej Starosolski - 2021 - Journal of Symbolic Logic 86 (4):1691-1705.
    M. E. Rudin proved, under CH, that for each P-point p there exists a P-point q strictly RK-greater than p. This result was proved under ${\mathfrak {p}= \mathfrak {c}}$ by A. Blass, who also showed that each RK-increasing $ \omega $ -sequence of P-points is upper bounded by a P-point, and that there is an order embedding of the real line into the class of P-points with respect to the RK-ordering. In this paper, the results cited above are proved under (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000