258 found
Order:
  1.  82
    On a Generalization of Quantifiers.Andrzej Mostowski - 1957 - Fundamenta Mathematicae 44 (2):12--36.
  2. The Classical and the Ω-Complete Arithmetic.C. Ryll-Nardzewski, Andrzej Grzegorczyk & Andrzej Mostowski - 1958 - Journal of Symbolic Logic 23 (2):188-206.
  3.  12
    Thirty Years of Foundational Studies.Andrzej Mostowski - 1966 - New York: Barnes & Noble.
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  4.  21
    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  
  5.  18
    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  
  6.  17
    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  
  7.  16
    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.
  8.  14
    Vladeta Vučkovič. Rekurzivni Modeli Nekih Neklasičnih Izkaznih Rečuna . Filozofija , Vol. 4 No. 4 , Pp. 69–84.Andrzej Mostowski - 1963 - Journal of Symbolic Logic 28 (4):291-292.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  9.  14
    A. I. Mal′Cév. Modél′Nyé Sootvéctviá . Izvéstiá Akadémii Nauk SSSR, Sériá Matématičéskaá, Vol. 23 , Pp. 313–336.Andrzej Mostowski - 1969 - Journal of Symbolic Logic 34 (2):299-300.
  10.  5
    Thirty Years of Foundational Studies.Andrzej Mostowski - 1966 - Journal of Symbolic Logic 33 (1):111-112.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  11.  10
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12.  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  
  13. Undecidable Theories.Alfred Tarski, Andrzej Mostowski & Raphael M. Robinson - 1955 - Philosophy 30 (114):278-279.
    No categories
     
    Export citation  
     
    Bookmark   13 citations  
  14.  9
    S. R. Kogalovskij. K Sémantiké Téorii Tipov . Izvéstiá Vysših Učébnyh Zavédénij, Matématika, No. 1 , Pp. 89–98.Andrzej Mostowski - 1972 - Journal of Symbolic Logic 37 (1):193-194.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. 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  
  16.  10
    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.  24
    Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Gödel.Andrzej Mostowski - 1952 - Greenwood Press.
  18.  42
    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.
  19.  28
    An Example of a Non-Axiomatizable Many Valued Logic.Andrzej Mostowski - 1961 - Mathematical Logic Quarterly 7 (1-5):72-76.
  20.  37
    Logika Matematyczna na miĘdzynarodowym Kongresie Matematyków w Amsterdamie.Andrzej Mostowski - 1956 - Studia Logica 4 (1):245-253.
  21.  19
    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 (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  22.  6
    Sentences Undecidable in Formalized Arithmetic. An Exposition of the Theory of Kurt Gödel.Andrzej Mostowski - 1954 - Journal of Symbolic Logic 19 (2):119-121.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  23.  24
    Some Impredicative Definitions in the Axiomatic Set-Theory.Andrzej Mostowski - 1951 - Journal of Symbolic Logic 16 (4):274-275.
  24.  12
    Axiom of Choice for Finite Sets.Andrzej Mostowski - 1948 - Journal of Symbolic Logic 13 (1):45-46.
  25.  9
    Constructible Sets with Applications.Andrzej Mostowski - 1969 - Warszawa, Pwn--Polish Scientific Publishers.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  26.  8
    An Undecidable Arithmetical Statement.Andrzej Mostowski - 1954 - Journal of Symbolic Logic 19 (2):118-119.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  27.  14
    On Definable Sets of Positive Integers.Andrzej Mostowski - 1948 - Journal of Symbolic Logic 13 (2):112-113.
  28.  27
    R. Suszko. Czy logika znów pod znakiem zapytania . Myśl filozoficzna, no. 1 , pp. 229–234. - K. Szaniawski. Parę uwag w sprawie niesłusznej decyzji . Myśl filozoficzna, no. 1 , pp. 235–237. - M. Przełęcki. Jeszcze w sprawie logiki . Myśl filozoficzna, no. 2 , pp. 118–121. - J. Wróblewski. W sprawie wykładu logiki dla prawników . Myśl filozoficzna, no. 3 , pp. 110–116. - J. Gregorowicz. Kilka uwag w sprawie logiki dla prawników . Myśl filozoficzna, no. 4 , pp. 171–173. - A. Grzegorczyk. Uwagi o nauczaniu logiki . Myśl filozoficzna, no. 4 , pp. 174–177. - A. Podgórecki. W sprawie błędów w nauczaniu logiki . Myśl filozoficzna, nos. 5–6 , pp. 244–256. - J. Giedymin. W sprawie sposobu nauczania logiki . Myśl filozoficzna, no. 2 , pp. 113–120. - T. Kotarbiński. Sprawa logiki w przededniu rozstrzygnięć . Myśl filozoficzna, no. 2 , pp. 121–125. - K. Ajdukiewicz. W sprawie programów logiki usługowej . Myśl filozoficzna, no. 2 , pp. 126–158. [REVIEW]Andrzej Mostowski - 1962 - Journal of Symbolic Logic 27 (2):223-224.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29.  10
    A Classification of Logical Systems.Andrzej Mostowski - 1951 - Studia Philosophica 4 (4):237-274.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  30.  8
    A Transfinite Sequence of ?-Models.Andrzej Mostowski - 1972 - Journal of Symbolic Logic 37 (1):96-102.
  31.  35
    Review. [REVIEW]Andrzej Mostowski - 1968 - Synthese 18 (2-3):302-305.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  6
    A Transfinite Sequence Of Omega-Models (Title Edited).Andrzej Mostowski - 1972 - Journal of Symbolic Logic 37 (March):96-102.
  33.  8
    Concerning a Problem of H. Scholz.Andrzej Mostowski - 1956 - Mathematical Logic Quarterly 2 (10‐15):210-214.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  34.  24
    Vorob'év N. N.. Probléma vyvodimosti v konstruktivnom isčislénii vyskazyvanij s sil'nym otricaniém . Doklady Akadémii Nauk SSSR, vol. 85 , pp. 689–692. [REVIEW]Andrzej Mostowski - 1953 - Journal of Symbolic Logic 18 (3):258-258.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  35.  6
    On Models of Zermelo-Fraenkel Set Theory Satisfying the Axiom of Constructibility.Andrzej Mostowski - 1971 - Journal of Symbolic Logic 36 (3):542-542.
  36.  28
    On Direct Products of Theories.Andrzej Mostowski - 1952 - Journal of Symbolic Logic 17 (1):1-31.
  37.  14
    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.
  38.  12
    Ü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   3 citations  
  39.  4
    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.  5
    Boolesche Ringe MIT Geordneter Basis.Andrzej Mostowski & Alfred Tarski - 1939 - Journal of Symbolic Logic 4 (3):124-125.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  41.  29
    O Niektórych Nowych Wynikach Meta-Matematycznych Dotyczących Teorii Mnogości.Andrzej Mostowski - 1967 - Studia Logica 20 (1):99 - 116.
  42.  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)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  43.  16
    Filozofia w Stanach Zjednoczonych 1939–1947 . Przegląd filozoficzny, vol. 44 no. 1–3 , pp. 234–282—Therein:Hiż Henryk. Wstęp , pp. 234–241.Hiż Henryk. Logika , pp. 241–249.Craig William. Teoria indukcji , pp. 249–255.Johnstone Henry W.. Teoria poznania , pp. 271–275. [REVIEW]Andrzej Mostowski - 1949 - Journal of Symbolic Logic 14 (1):64-64.
  44.  9
    Review: A. Levy, The Independence of Various Definitions of Finiteness. [REVIEW]Andrzej Mostowski - 1960 - Journal of Symbolic Logic 25 (2):179-179.
  45.  15
    Hasenjaeger G.. Über Ω-Unvollständigkeit in der Peano-Arithmelik.Andrzej Mostowski - 1952 - Journal of Symbolic Logic 17 (4):271-272.
  46.  15
    Jaśkowski Stanisław. Rachunek zdań dla systemów dedukcyjnych sprzecznych . Studia Societaiis Scientiarum Torunensis, Sectio A, vol. 1 , pp. 57–74. French summary, ibid., pp. 75–77. [REVIEW]Andrzej Mostowski - 1949 - Journal of Symbolic Logic 14 (1):66-67.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47.  18
    Review: Jerzy Kuczynski, Uber den Satz von Godel. [REVIEW]Andrzej Mostowski - 1938 - Journal of Symbolic Logic 3 (3):118-118.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  8
    Über den Begriff Einer Endlichen Menge.Andrzej Mostowski - 1939 - Journal of Symbolic Logic 4 (1):30-30.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  22
    Review: P. S. Novikov, On the Consistency of Some Logical Calculi. [REVIEW]Andrzej Mostowski - 1962 - Journal of Symbolic Logic 27 (2):246-246.
  50.  14
    Mautner F. I.. An Extension of Klein's Erlanger Program: Logic as Invariant-Theory. American Journal of Mathematics, Vol. 68 , Pp. 345–384. [REVIEW]Andrzej Mostowski - 1946 - Journal of Symbolic Logic 11 (4):134-136.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 258