261 found
Order:
Disambiguations
Andrzej Mostowski [260]Andrzej Włodzimierz Mostowski [1]
  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 - 1953 - Philosophy 30 (114):278-279.
    No categories
     
    Export citation  
     
    Bookmark   114 citations  
  3.  26
    Systems of Logic Based on Ordinals.Andrzej Mostowski - 1939 - Journal of Symbolic Logic 4 (3):128-129.
    Direct download  
     
    Export citation  
     
    Bookmark   50 citations  
  4.  21
    Thirty years of foundational studies.Andrzej Mostowski - 1966 - New York,: Barnes & Noble.
  5. The classical and the ω-complete arithmetic.C. Ryll-Nardzewski, Andrzej Grzegorczyk & Andrzej Mostowski - 1958 - Journal of Symbolic Logic 23 (2):188-206.
  6.  50
    Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Gödel.Andrzej Mostowski - 1952 - Westport, Conn.: 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   10 citations  
  7. Logika matematyczna.Andrzej Mostowski - 1948 - Synthese 7 (4):299-301.
    No categories
     
    Export citation  
     
    Bookmark   12 citations  
  8.  28
    Ü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  
  9.  68
    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.
  10.  22
    Recent Results in Set Theory.Andrzej Mostowski, Imre Lakatos, G. Kreisel, A. Robinson & A. Mostowski - 1972 - Journal of Symbolic Logic 37 (4):765-766.
  11.  34
    Some Impredicative Definitions in the Axiomatic Set-Theory.Andrzej Mostowski - 1951 - Journal of Symbolic Logic 16 (4):274-275.
  12. 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  
  13.  17
    An Undecidable Arithmetical Statement.Andrzej Mostowski - 1954 - Journal of Symbolic Logic 19 (2):118-119.
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  14.  38
    On direct products of theories.Andrzej Mostowski - 1952 - Journal of Symbolic Logic 17 (1):1-31.
  15.  21
    Constructible sets with applications.Andrzej Mostowski - 1969 - Warszawa,: PWN--Polish Scientific Publishers.
  16.  18
    Foundational studies: selected works.Andrzej Mostowski - 1979 - New York: sole distributor for the U.S.A. and Canada, Elsevier North-Holland. Edited by Kazimierz Kuratowski.
  17.  20
    Axiom of Choice for Finite Sets.Andrzej Mostowski - 1948 - Journal of Symbolic Logic 13 (1):45-46.
  18.  9
    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  
  19.  20
    On Definable Sets of Positive Integers.Andrzej Mostowski - 1948 - Journal of Symbolic Logic 13 (2):112-113.
  20.  2
    Proofs of Non-Deducibility in Intuitionistic Functional Calculus.Andrzej Mostowski - 1949 - Journal of Symbolic Logic 14 (2):137-137.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  21.  23
    Ü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  
  22.  14
    A classification of logical systems.Andrzej Mostowski - 1951 - Studia Philosophica 4 (4):237-274.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  23.  32
    An Example of a Non-Axiomatizable Many Valued Logic.Andrzej Mostowski - 1961 - Mathematical Logic Quarterly 7 (1-5):72-76.
  24. Alfred Tarski.Andrzej Mostowski - 1967 - In Paul Edwards (ed.), The Encyclopedia of philosophy. New York,: Macmillan. pp. 8--77.
     
    Export citation  
     
    Bookmark   4 citations  
  25.  12
    Concerning a problem of H. Scholz.Andrzej Mostowski - 1956 - Mathematical Logic Quarterly 2 (10‐15):210-214.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  26.  24
    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  
  27.  11
    On the Principle of Dependent Choices.Andrzej Mostowski - 1950 - Journal of Symbolic Logic 14 (4):257-257.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  28.  25
    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.
  29.  15
    A transfinite sequence of ?-models.Andrzej Mostowski - 1972 - Journal of Symbolic Logic 37 (1):96-102.
  30.  10
    A Transfinite Sequence Of Omega-Models (Title Edited).Andrzej Mostowski - 1972 - Journal of Symbolic Logic 37 (March):96-102.
  31.  8
    On Models of Zermelo-Fraenkel Set Theory Satisfying the Axiom of Constructibility.Andrzej Mostowski - 1971 - Journal of Symbolic Logic 36 (3):542-542.
  32.  1
    A Classification of Logical Systems.Andrzej Mostowski - 1952 - Journal of Symbolic Logic 17 (4):274-275.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  33.  15
    Über den Begriff einer Endlichen Menge.Andrzej Mostowski - 1939 - Journal of Symbolic Logic 4 (1):30-30.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  34.  8
    On Various Degrees of Constructivism.Andrzej Mostowski - 1970 - Journal of Symbolic Logic 35 (4):575-576.
  35. Thirty Years of Foundational Studies, Lectures on the Development of Mathematical Logic and the Study of the Foundations of Mathematics in 1930-1964.Andrzej Mostowski - 1968 - Studia Logica 22:169-170.
     
    Export citation  
     
    Bookmark   2 citations  
  36.  2
    An Example of a Non-Axiomatizability Many Valued Logic.Louise Hay & Andrzej Mostowski - 1970 - Journal of Symbolic Logic 35 (1):143.
  37.  5
    The Development of Mathematical Logic and of Logical Positivism in Poland Between the Two Wars.Andrzej Mostowski - 1946 - Journal of Symbolic Logic 11 (3):94-95.
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  2
    On the Intuitionistic Logic.Andrzej Mostowski - 1949 - Journal of Symbolic Logic 14 (1):63-63.
  39.  26
    Recenzje.Tadeusz Kotarbiński, Andrzej Mostowski, Janina Kotarbińska & Jerzy Kalinowski - 1956 - Studia Logica 4 (1):255-277.
  40.  1
    Abzählbare Boolesche Körper und ihre Anwendung auf die Allgemeine Metamathematik.Andrzej Mostowski - 1938 - Journal of Symbolic Logic 3 (1):47-47.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  14
    A. I. Mal′cév. O malyh modélah . Doklady Akadémii Nauk SSSR, vol. 127 , pp. 258–261.Andrzej Mostowski - 1969 - Journal of Symbolic Logic 34 (3):513-514.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42. Ajdukiewicz Kazimierz. Metodologia i metanauka . Życie nauki vol. 6 , pp. 4–15. English summary, ibid., pp. 151–152.Andrzej Mostowski - 1949 - Journal of Symbolic Logic 14 (2):140-140.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  6
    Andrzej Mostowski and foundational studies.Andrzej Mostowski, Andrzej Ehrenfeucht, Wiktor Marek & Marian Srebrny (eds.) - 2008 - Amsterdam: IOS Press.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44. Arithmetic of Divisibility in Finite Models.Andrzej Mostowski - 2004 - Mathematical Logic Quarterly 50:169-174.
  45.  16
    Black Max. The semantic definition of truth. Analysis , vol. 8 no. 4 , pp. 49–63.Andrzej Mostowski - 1948 - Journal of Symbolic Logic 13 (3):150-151.
  46.  17
    Povarov G. N.. O funkcional'noj razdélimosti bulévyh funkcij . Doklady Akadémii Nauk SSSR, vol. 94 , pp. 801–803.Andrzej Mostowski - 1956 - Journal of Symbolic Logic 21 (1):102-102.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  47.  30
    Bemerkungen zum begriff der inhaltlichen widerspruchsfreiheit.Andrzej Mostowski - 1939 - Journal of Symbolic Logic 4 (3):113-114.
  48.  10
    Concerning the problem of axiomatizability of the field of real numbers in the weak second order logic.Andrzej Mostowski - 1961 - In Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics. Jerusalem,: Magnes Press. pp. 269--286.
  49.  7
    Correction to the Paper "Some Impredicative Definitions in the Axiomatic Set-Theory.".Andrzej Mostowski - 1953 - Journal of Symbolic Logic 18 (4):343-343.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  6
    Development and Applications of the "Projective" Classification of Sets of Integers.Andrzej Mostowski - 1958 - Journal of Symbolic Logic 23 (1):44-45.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 261