304 found
Order:
  1.  75
    On a Generalization of Quantifiers.Andrzej Mostowski - 1957 - Fundamenta Mathematicae 44 (2):12--36.
  2.  20
    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  
  3.  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  
  4.  18
    Set Theory.K. Kuratowski, A. Mostowski & M. Maczynski - 1975 - Journal of Symbolic Logic 40 (4):629-630.
  5.  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  
  6. The Classical and the Ω-Complete Arithmetic.C. Ryll-Nardzewski, Andrzej Grzegorczyk & Andrzej Mostowski - 1958 - Journal of Symbolic Logic 23 (2):188-206.
  7.  11
    Thirty Years of Foundational Studies.Andrzej Mostowski - 1966 - New York: Barnes & Noble.
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  8.  14
    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.
  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.  13
    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  
  11. 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  
  12.  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  
  13.  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  
  14.  4
    Models of Axiomatic Theories Admitting Automorphisms.A. Ehrenfeucht & A. Mostowski - 1966 - Journal of Symbolic Logic 31 (4):644-645.
  15.  5
    Thirty Years of Foundational Studies.Andrzej Mostowski - 1966 - Journal of Symbolic Logic 33 (1):111-112.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  16.  24
    Ü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  
  17. 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  
  18.  9
    Recent Results in Set Theory.Andrzej Mostowski, Imre Lakatos, G. Kreisel, A. Robinson & A. Mostowski - 1972 - Journal of Symbolic Logic 37 (4):765-766.
  19.  23
    Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Gödel.Andrzej Mostowski - 1952 - Greenwood Press.
  20. Undecidable Theories.Alfred Tarski, Andrzej Mostowski & Raphael M. Robinson - 1955 - Philosophy 30 (114):278-279.
    No categories
     
    Export citation  
     
    Bookmark   11 citations  
  21.  6
    Constructible Sets with Applications.A. Mostowski - 1975 - Journal of Symbolic Logic 40 (4):631-632.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  22.  27
    An Example of a Non-Axiomatizable Many Valued Logic.Andrzej Mostowski - 1961 - Mathematical Logic Quarterly 7 (1-5):72-76.
  23.  40
    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.
  24.  9
    On Models of Axiomatic Systems.A. Mostowski - 1954 - Journal of Symbolic Logic 19 (3):220-221.
  25.  36
    Logika Matematyczna na miĘdzynarodowym Kongresie Matematyków w Amsterdamie.Andrzej Mostowski - 1956 - Studia Logica 4 (1):245-253.
  26.  13
    Proofs of Non-Deducibility in Intuitionistic Functional Calculus.Andkzej Mostowski - 1948 - Journal of Symbolic Logic 13 (4):204-207.
  27.  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  
  28.  5
    A Class of Models for Second Order Arithmetic.A. Mostowski - 1969 - Journal of Symbolic Logic 34 (1):128-129.
  29.  5
    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  
  30.  23
    Some Impredicative Definitions in the Axiomatic Set-Theory.Andrzej Mostowski - 1951 - Journal of Symbolic Logic 16 (4):274-275.
  31.  8
    Constructible Sets with Applications.Andrzej Mostowski - 1969 - Warszawa, Pwn--Polish Scientific Publishers.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  32.  8
    An Undecidable Arithmetical Statement.Andrzej Mostowski - 1954 - Journal of Symbolic Logic 19 (2):118-119.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  33.  10
    Axiom of Choice for Finite Sets.Andrzej Mostowski - 1948 - Journal of Symbolic Logic 13 (1):45-46.
  34.  14
    On Definable Sets of Positive Integers.Andrzej Mostowski - 1948 - Journal of Symbolic Logic 13 (2):112-113.
  35.  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  
  36.  22
    Sur l’interpretation Géométrique et Topologique des Notions Logiques.A. Mostowski - 1949 - Proceedings of the Tenth International Congress of Philosophy 2:767-769.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37.  4
    Definability of Sets in Models of Axiomatic Theories.A. Grzegorczyk, A. Mostowski & C. Ryll-Nardzewski - 1969 - Journal of Symbolic Logic 34 (1):126-126.
  38.  6
    On Computable Sequences.A. Mostowski - 1960 - Journal of Symbolic Logic 25 (4):367-367.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  39.  35
    Review. [REVIEW]Andrzej Mostowski - 1968 - Synthese 18 (2-3):302-305.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  8
    A Classification of Logical Systems.Andrzej Mostowski - 1951 - Studia Philosophica 4 (4):237-274.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  41.  3
    On a Generalization of Quantifiers.A. Mostowski - 1960 - Journal of Symbolic Logic 25 (4):365-366.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  42.  6
    A Transfinite Sequence of ?-Models.Andrzej Mostowski - 1972 - Journal of Symbolic Logic 37 (1):96-102.
  43.  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  
  44.  23
    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  
  45.  5
    A Transfinite Sequence Of Omega-Models (Title Edited).Andrzej Mostowski - 1972 - Journal of Symbolic Logic 37 (March):96-102.
  46.  5
    On Models of Zermelo-Fraenkel Set Theory Satisfying the Axiom of Constructibility.Andrzej Mostowski - 1971 - Journal of Symbolic Logic 36 (3):542-542.
  47.  27
    On Direct Products of Theories.Andrzej Mostowski - 1952 - Journal of Symbolic Logic 17 (1):1-31.
  48.  13
    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.
  49.  27
    O Geometrycznej Interpretacji Wyrażeń Logicznych.Helena Rasiowa & Andrzeij Mostowski - 1953 - Studia Logica 1 (1):254 - 275.
  50.  25
    Allocution Prononcée Par M. A. Ch'telet.A. Tarski, M. Krasner, A. Mostowski & R. de Possel - 1960 - Journal of Symbolic Logic 25 (3):284-285.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 304