304 found
Order:
  1. On a Generalization of Quantifiers.Andrzej Mostowski - 1957 - Fundamenta Mathematicae 44 (2):12--36.
  2. Undecidable Theories.Alfred Tarski, Andrzej Mostowski & Raphael M. Robinson - 1955 - Philosophy 30 (114):278-279.
    No categories
     
    Export citation  
     
    Bookmark   60 citations  
  3.  19
    On a Generalization of Quantifiers.A. Mostowski - 1958 - Journal of Symbolic Logic 23 (2):217-217.
    Direct download  
     
    Export citation  
     
    Bookmark   50 citations  
  4.  9
    On a Generalization of Quantifiers.A. Mostowski - 1960 - Journal of Symbolic Logic 25 (4):365-366.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   59 citations  
  5.  14
    Thirty Years of Foundational Studies.Andrzej Mostowski - 1966 - New York: Barnes & Noble.
  6.  3
    Systems of Logic Based on Ordinals.Andrzej Mostowski - 1939 - Journal of Symbolic Logic 4 (3):128-129.
    Direct download  
     
    Export citation  
     
    Bookmark   50 citations  
  7. The Classical and the Ω-Complete Arithmetic.C. Ryll-Nardzewski, Andrzej Grzegorczyk & Andrzej Mostowski - 1958 - Journal of Symbolic Logic 23 (2):188-206.
  8.  33
    Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Gödel.Andrzej Mostowski - 1952 - Amsterdam, Netherlands: Greenwood Press.
    The famous theory of undecidable sentences created by Kurt Godel in 1931 is presented as clearly and as rigorously as possible. Introductory explanations beginning with the necessary facts of arithmetic of integers and progressing to the theory of representability of arithmetical functions and relations in the system (S) prepare the reader for the systematic exposition of the theory of Godel which is taken up in the final chapter and the appendix.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  9. Set Theory.K. Kuratowski & A. Mostowski - 1971 - Philosophy of Science 38 (2):314-315.
     
    Export citation  
     
    Bookmark   15 citations  
  10.  29
    Proofs of Non-Deducibility in Intuitionistic Functional Calculus.Andkzej Mostowski - 1948 - Journal of Symbolic Logic 13 (4):204-207.
  11.  25
    Über Die Unabhangigkeit des Wohlordnungssatzes Vom Ordnungsprinzip.Andrzej Mostowski - 1939 - Journal of Symbolic Logic 4 (3):129-130.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  12. Logika Matematyczna.Andrzej Mostowski - 1948 - Synthese 7 (4):299-301.
    No categories
     
    Export citation  
     
    Bookmark   9 citations  
  13.  4
    Models of Axiomatic Theories Admitting Automorphisms.A. Ehrenfeucht & A. Mostowski - 1966 - Journal of Symbolic Logic 31 (4):644-645.
  14.  10
    On Models of Axiomatic Systems.A. Mostowski - 1954 - Journal of Symbolic Logic 19 (3):220-221.
  15.  43
    On the Rules of Proof in the Pure Functional Calculus of the First Order.Andrzej Mostowski - 1951 - Journal of Symbolic Logic 16 (2):107-111.
  16.  12
    Recent Results in Set Theory.Andrzej Mostowski, Imre Lakatos, G. Kreisel, A. Robinson & A. Mostowski - 1972 - Journal of Symbolic Logic 37 (4):765-766.
  17.  12
    Constructible Sets with Applications.Andrzej Mostowski - 1969 - Warszawa, Pwn--Polish Scientific Publishers.
  18. Craig's Interpolation Theorem in Some Extended Systems of Logic.Andrzej Mostowski - 1968 - In B. van Rootselaar & Frits Staal (eds.), Logic, Methodology and Philosophy of Science Iii. Amsterdam: North-Holland Pub. Co.. pp. 87--103.
     
    Export citation  
     
    Bookmark   8 citations  
  19.  30
    Some Impredicative Definitions in the Axiomatic Set-Theory.Andrzej Mostowski - 1951 - Journal of Symbolic Logic 16 (4):274-275.
  20. Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Gödel.A. Mostowski - 1953 - British Journal for the Philosophy of Science 3 (12):364-374.
     
    Export citation  
     
    Bookmark   6 citations  
  21.  14
    Foundational Studies: Selected Works.Andrzej Mostowski - 1979 - Sole Distributor for the U.S.A. And Canada, Elsevier North-Holland.
  22.  9
    An Undecidable Arithmetical Statement.Andrzej Mostowski - 1954 - Journal of Symbolic Logic 19 (2):118-119.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  23. L. Lombard Vallauri (Rome), Les Deux Aspects de la Participa-Tion du Juriste À la Formation de la Règle de Droit (3.5. 68); Prof. S. Ginossar (Jerusalem), La Règle de Droit En Droit Israélien. [REVIEW]P. le Professeur & A. Mostowski - forthcoming - Logique Et Analyse.
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  24.  17
    On Definable Sets of Positive Integers.Andrzej Mostowski - 1948 - Journal of Symbolic Logic 13 (2):112-113.
  25.  16
    Axiom of Choice for Finite Sets.Andrzej Mostowski - 1948 - Journal of Symbolic Logic 13 (1):45-46.
  26. Alfred Tarski.Andrzej Mostowski - 1967 - In Paul Edwards (ed.), The Encyclopedia of Philosophy. New York: Macmillan. pp. 8--77.
     
    Export citation  
     
    Bookmark   4 citations  
  27.  21
    Concerning a Problem of H. Scholz.Andrzej Mostowski - 1956 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 2 (10-15):210-214.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  28.  7
    A Class of Models for Second Order Arithmetic.A. Mostowski - 1969 - Journal of Symbolic Logic 34 (1):128-129.
  29.  17
    Über Die Unabhangigkeit des Auswahlaxioms Und Einiger Seiner Folgerungen.Adolf Lindenbaum & Andrzej Mostowski - 1939 - Journal of Symbolic Logic 4 (1):30-31.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  30.  31
    On Direct Products of Theories.Andrzej Mostowski - 1952 - Journal of Symbolic Logic 17 (1):1-31.
  31.  30
    An Example of a Non-Axiomatizable Many Valued Logic.Andrzej Mostowski - 1961 - Mathematical Logic Quarterly 7 (1-5):72-76.
  32.  5
    Boolesche Ringe MIT Geordneter Basis.Andrzej Mostowski & Alfred Tarski - 1939 - Journal of Symbolic Logic 4 (3):124-125.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  33.  12
    A Classification of Logical Systems.Andrzej Mostowski - 1951 - Studia Philosophica 4 (4):237-274.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  34.  11
    On Computable Sequences.A. Mostowski - 1960 - Journal of Symbolic Logic 25 (4):367-367.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  35. Proofs of Non-Deducibility in Intuitionistic Functional Calculus.Andrzej Mostowski - 1949 - Journal of Symbolic Logic 14 (2):137-137.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  36.  20
    On the Rules of Proof in the Pure Functional Calculus of the First Order.G. D. W. Berry & Andrzej Mostowski - 1951 - Journal of Symbolic Logic 16 (4):272.
  37.  8
    Concerning a Problem of H. Scholz.Andrzej Mostowski - 1956 - Mathematical Logic Quarterly 2 (10‐15):210-214.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  38.  6
    Definability of Sets in Models of Axiomatic Theories.A. Grzegorczyk, A. Mostowski & C. Ryll-Nardzewski - 1969 - Journal of Symbolic Logic 34 (1):126-126.
  39.  6
    On the Principle of Dependent Choices.Andrzej Mostowski - 1950 - Journal of Symbolic Logic 14 (4):257-257.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  40.  10
    A Transfinite Sequence of ?-Models.Andrzej Mostowski - 1972 - Journal of Symbolic Logic 37 (1):96-102.
  41.  8
    A Transfinite Sequence Of Omega-Models (Title Edited).Andrzej Mostowski - 1972 - Journal of Symbolic Logic 37 (March):96-102.
  42.  6
    On Models of Zermelo-Fraenkel Set Theory Satisfying the Axiom of Constructibility.Andrzej Mostowski - 1971 - Journal of Symbolic Logic 36 (3):542-542.
  43.  37
    Review. [REVIEW]Andrzej Mostowski - 1968 - Synthese 18 (2-3):302-305.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  44.  36
    H. B. Enderton and Harvey Friedman. Approximating the Standard Model of Analysis. Fundamenta Mathematicae, Vol. 72 No. 2 , Pp. 175–188. [REVIEW]Andrzej Mostowski - 1974 - Journal of Symbolic Logic 39 (3):600-601.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  10
    Über den Begriff Einer Endlichen Menge.Andrzej Mostowski - 1939 - Journal of Symbolic Logic 4 (1):30-30.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  21
    Witold A. Pogorzelski and Jerzy Slupecki. O Dowodzie Matematycznym . Państwowe Zaklady Wydawnictw Szkolnych, Warsaw1962, 128 Pp. [REVIEW]Andrzej Mostowski - 1966 - Journal of Symbolic Logic 31 (2):284.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47.  19
    Ladislav Rieger. Ob Algébrah Suslina I Ih Prédstavlénii . Čéhoslovackij Matétnatičéskij Žurnal , Vol. 5 , Pp. 99–142.Andrzej Mostowski - 1964 - Journal of Symbolic Logic 29 (2):96-97.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  19
    Jan Łukasiewicz. Elementy Logiki Matematycznej . Second Edition of 1866. Państwowe Wydawnictwo Naukowe, Warsaw1958, 99 Pp. [REVIEW]Andrzej Mostowski - 1966 - Journal of Symbolic Logic 31 (2):284.
  49.  7
    Axiomatizability of Some Many Valued Predicate Calculi.A. Mostowski - 1970 - Journal of Symbolic Logic 35 (1):143-143.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50.  7
    L'Oeuvre Scientifique de Jan Łukasiewicz Dans Le Domaine de la Logique Mathématique.A. Mostowski - 1957 - Journal of Symbolic Logic 22 (4):387-388.
1 — 50 / 304