266 found
Order:
  1.  24
    Andrzej Mostowski (1957). On a Generalization of Quantifiers. Fundamenta Mathematicae 44 (2):12--36.
  2. C. Ryll-Nardzewski, Andrzej Grzegorczyk & Andrzej Mostowski (1958). The Classical and the Ω-Complete Arithmetic. Journal of Symbolic Logic 23 (2):188-206.
  3.  1
    Andrzej Mostowski (1966). Thirty Years of Foundational Studies. New York, Barnes & Noble.
    Direct download  
     
    Export citation  
     
    My bibliography   12 citations  
  4.  7
    Andrzej Mostowski (1968). Craig's Interpolation Theorem in Some Extended Systems of Logic. In B. van Rootselaar & Frits Staal (eds.), Logic, Methodology and Philosophy of Science Iii. Amsterdam, North-Holland Pub. Co. 87--103.
    Direct download  
     
    Export citation  
     
    My bibliography   6 citations  
  5.  7
    Andrzej Mostowski (1951). Some Impredicative Definitions in the Axiomatic Set-Theory. Journal of Symbolic Logic 16 (4):274-275.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  6.  4
    Andrzej Mostowski (1956). Concerning a Problem of H. Scholz. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 2 (10-15):210-214.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  7.  1
    Andrzej Mostowski (1939). Über Die Unabhangigkeit des Wohlordnungssatzes Vom Ordnungsprinzip. Journal of Symbolic Logic 4 (3):129-130.
    Direct download  
     
    Export citation  
     
    My bibliography   8 citations  
  8.  1
    Andrzej Mostowski (1970). Vopěnka Petr. Odin metod postroéniá néstandartnoj modéli aksiomatičéskoj téorii množéstv Bérnajsa Gédélá . Doklady Akadémii Nauk SSSR, vol. 143 , pp. 11–12.Vopěnka Petr. Postroénié modéléj téorii množéstv métodom spéktra . Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 , pp. 149–160.Vopěnka Petr. Eléméntarnyé pondtiá v téorii množéstv . Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 , pp. 161–167.Vopěnka Petr. Postroénié néstandartnoj nérégulárnoj modéli téorii množéstv . Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 9 , pp. 229–233.Vopěnka Petr. Podmodéli modéléj téorii množéstv . Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 163–172. [REVIEW] Journal of Symbolic Logic 35 (3):470-472.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  1
    Andrzej Mostowski (1969). Constructible Sets with Applications. Warszawa, Pwn--Polish Scientific Publishers.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  10.  26
    Andrzej Mostowski (1951). On the Rules of Proof in the Pure Functional Calculus of the First Order. Journal of Symbolic Logic 16 (2):107-111.
  11.  4
    Andrzej Mostowski (1961). An Example of a Non-Axiomatizable Many Valued Logic. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (1-5):72-76.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  12.  8
    Andrzej Mostowski (1948). Proofs of Non-Deducibility in Intuitionistic Functional Calculus. Journal of Symbolic Logic 13 (4):204-207.
  13.  8
    Andrzej Mostowski (1952). Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Gödel. Greenwood Press.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  14.  5
    Andrzej Mostowski (1956). Concerning a Problem of H. Scholz. Mathematical Logic Quarterly 2 (10‐15):210-214.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  15.  15
    Andrzej Mostowski (1968). Review. [REVIEW] Synthese 18 (2-3):302-305.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  16.  2
    Andrzej Mostowski (1948). On Definable Sets of Positive Integers. Journal of Symbolic Logic 13 (2):112-113.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  17.  2
    Andrzej Mostowski (1956). Logika Matematyczna na miĘdzynarodowym Kongresie Matematyków w Amsterdamie. Studia Logica 4 (1):245-253.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  18.  1
    Andrzej Mostowski (1948). Axiom of Choice for Finite Sets. Journal of Symbolic Logic 13 (1):45-46.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  19.  19
    Andrzej Mostowski (1967). On Some New Metamathematical Results Concerning Set Theory. Studia Logica 20 (1):115-116.
    The aim of the article is to present some of the newest meta-mathematical results concerning set theory and to discuss on this basis the problem whether and to what extent set theory can serve as a basis for mathematics.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  20.  1
    Adolf Lindenbaum & Andrzej Mostowski (1939). Über Die Unabhangigkeit des Auswahlaxioms Und Einiger Seiner Folgerungen. Journal of Symbolic Logic 4 (1):30-31.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  21.  15
    Andrzej Mostowski (1967). O Niektórych Nowych Wynikach Meta-Matematycznych Dotyczących Teorii Mnogości. Studia Logica 20 (1):99 - 116.
  22.  1
    Andrzej Mostowski (1939). Über den Begriff Einer Endlichen Menge. Journal of Symbolic Logic 4 (1):30-30.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  23.  1
    Andrzej Mostowski & Alfred Tarski (1939). Boolesche Ringe MIT Geordneter Basis. Journal of Symbolic Logic 4 (3):124-125.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  24. Andrzej Mostowski (1971). On Models of Zermelo-Fraenkel Set Theory Satisfying the Axiom of Constructibility. Journal of Symbolic Logic 36 (3):542-542.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  25.  13
    Andrzej Mostowski (1956). Logika Matematyczna Na Międzynarodowym Kongresie Matematyków W Amsterdamie. Studia Logica 4 (1):245 - 253.
  26.  10
    Andrzej Mostowski (1952). On Direct Products of Theories. Journal of Symbolic Logic 17 (1):1-31.
  27.  1
    Andrzej Mostowski (1970). On Various Degrees of Constructivism. Journal of Symbolic Logic 35 (4):575-576.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  28.  2
    Andrzej Mostowski (1953). Correction to the Paper "Some Impredicative Definitions in the Axiomatic Set-Theory.". Journal of Symbolic Logic 18 (4):343-343.
    Direct download  
     
    Export citation  
     
    My bibliography  
  29.  2
    Andrzej Mostowski (1953). Review: A. A. Markov, The Theory of Algorithms. [REVIEW] Journal of Symbolic Logic 18 (4):340-341.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  30. Andrzej Mostowski (1960). Review: A. Levy, The Independence of Various Definitions of Finiteness. [REVIEW] Journal of Symbolic Logic 25 (2):179-179.
     
    Export citation  
     
    My bibliography  
  31. Andrzej Mostowski (1953). Review: A. A. Markov, A Constructive Logic. [REVIEW] Journal of Symbolic Logic 18 (3):257-257.
     
    Export citation  
     
    My bibliography  
  32. Andrzej Mostowski (1954). An Undecidable Arithmetical Statement. Journal of Symbolic Logic 19 (2):118-119.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  33.  11
    A. Blikle & Andrzej Mostowski (1969). Meeting of the Association for Symbolic Logic Warsaw 1968. Journal of Symbolic Logic 34 (3):533-544.
  34.  11
    Tadeusz Kotarbiński, Andrzej Mostowski, Janina Kotarbińska & Jerzy Kalinowski (1956). Recenzje. Studia Logica 4 (1):255-277.
  35. Andrzej Mostowski (1950). On the Principle of Dependent Choices. Journal of Symbolic Logic 14 (4):257-257.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  36.  1
    Andrzej Mostowski (1951). Review: Hao Wang, Remarks on the Comparison of Axiom Systems. [REVIEW] Journal of Symbolic Logic 16 (2):142-143.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  37.  7
    Andrzej Mostowski (1947). On Absolute Properties of Relations. Journal of Symbolic Logic 12 (2):33-42.
  38. Andrzej Mostowski (1964). Review: N. A. Sanin, Uber Konstruktive Lineare Funktionale in Einem Konstruktiven Hilbertschen Raum. [REVIEW] Journal of Symbolic Logic 29 (2):107-108.
    Translate
     
     
    Export citation  
     
    My bibliography  
  39. Andrzej Mostowski (1966). Review: Jan Lukasiewicz, Elements of Mathematical Logic. [REVIEW] Journal of Symbolic Logic 31 (2):284-284.
     
    Export citation  
     
    My bibliography  
  40. Andrzej Mostowski (1958). Review: V. A. Uspenskij, Some Notes on Recursively Enumerable Sets. [REVIEW] Journal of Symbolic Logic 23 (1):49-50.
     
    Export citation  
     
    My bibliography  
  41. Andrzej Mostowski (1972). A Transfinite Sequence of ?-Models. Journal of Symbolic Logic 37 (1):96-102.
  42.  5
    Andrzej Mostowski (1939). Bemerkungen Zum Begriff der Inhaltlichen Widerspruchsfreiheit. Journal of Symbolic Logic 4 (3):113-114.
  43.  1
    Andrzej Mostowski (1951). A Classification of Logical Systems. Studia Philosophica 4 (4):237-274.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  44.  1
    Andrzej Mostowski (1958). Development and Applications of the "Projective" Classification of Sets of Integers. Journal of Symbolic Logic 23 (1):44-45.
    Direct download  
     
    Export citation  
     
    My bibliography  
  45.  1
    Andrzej Mostowski (1950). On a Set of Integers Not Definable by Means of One-Quantifier Predicates. Journal of Symbolic Logic 15 (2):135-135.
    Direct download  
     
    Export citation  
     
    My bibliography  
  46.  1
    Andrzej Mostowski (1947). On Undecidable Propositions in Formalized Systems of Mathematics. Journal of Symbolic Logic 12 (2):60-60.
    Direct download  
     
    Export citation  
     
    My bibliography  
  47.  1
    Andrzej Mostowski (1939). Review: Abraham Robinsohn, On the Independence of the Axioms of Definiteness. [REVIEW] Journal of Symbolic Logic 4 (4):165-165.
    Direct download  
     
    Export citation  
     
    My bibliography  
  48.  1
    Andrzej Mostowski, Imre Lakatos, G. Kreisel, A. Robinson & A. Mostowski (1972). Recent Results in Set Theory. Journal of Symbolic Logic 37 (4):765-766.
    Direct download  
     
    Export citation  
     
    My bibliography  
  49.  1
    Andrzej Mostowski (1946). Review: Z. Jordan, The Development of Mathematical Logic and of Logical Positivism in Poland Between the Two Wars. [REVIEW] Journal of Symbolic Logic 11 (3):94-95.
    Direct download  
     
    Export citation  
     
    My bibliography  
  50. Andrzej Mostowski (1965). Review: P. S. Novikov, Elements of Mathematical Logic. [REVIEW] Journal of Symbolic Logic 30 (3):356-357.
     
    Export citation  
     
    My bibliography  
1 — 50 / 266