Order: Listing date First author Impact Pub year Relevance Downloads Order
On a generalization of quantifiers. Andrzej Mostowski 1957 - Fundamenta Mathematicae 44 (2):12--36. details Undecidable Theories. Alfred Tarski Andrzej Mostowski Raphael M. Robinson 1953 - Philosophy 30 (114):278-279. details On a Generalization of Quantifiers. A. Mostowski 1958 - Journal of Symbolic Logic 23 (2):217-217. details On a Generalization of Quantifiers. A. Mostowski 1960 - Journal of Symbolic Logic 25 (4):365-366. details Thirty Years of Foundational Studies. Andrzej Mostowski 1966 - New York: Barnes & Noble. details Systems of Logic Based on Ordinals. Andrzej Mostowski 1939 - Journal of Symbolic Logic 4 (3):128-129. details The classical and the ω-complete arithmetic. C. Ryll-Nardzewski Andrzej Grzegorczyk Andrzej Mostowski 1958 - Journal of Symbolic Logic 23 (2):188-206. details Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Gödel. Andrzej Mostowski 1952 - Amsterdam, Netherlands: Greenwood Press. details Set Theory. K. Kuratowski A. Mostowski 1971 - Philosophy of Science 38 (2):314-315. details Proofs of non-deducibility in intuitionistic functional calculus. Andkzej Mostowski 1948 - Journal of Symbolic Logic 13 (4):204-207. details Logika matematyczna. Andrzej Mostowski 1948 - Synthese 7 (4):299-301. details Über die Unabhangigkeit des Wohlordnungssatzes vom Ordnungsprinzip. Andrzej Mostowski 1939 - Journal of Symbolic Logic 4 (3):129-130. details Models of Axiomatic Theories Admitting Automorphisms. A. Ehrenfeucht A. Mostowski 1966 - Journal of Symbolic Logic 31 (4):644-645. details 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. details On Models of Axiomatic Systems. A. Mostowski 1954 - Journal of Symbolic Logic 19 (3):220-221. details Recent Results in Set Theory. Andrzej Mostowski Imre Lakatos G. Kreisel A. Robinson A. Mostowski 1972 - Journal of Symbolic Logic 37 (4):765-766. details Some Impredicative Definitions in the Axiomatic Set-Theory. Andrzej Mostowski 1951 - Journal of Symbolic Logic 16 (4):274-275. details 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. details 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 details Constructible Sets with Applications. Andrzej Mostowski 1969 - Warszawa, Pwn--Polish Scientific Publishers. details On direct products of theories. Andrzej Mostowski 1952 - Journal of Symbolic Logic 17 (1):1-31. details Foundational Studies: Selected Works. Andrzej Mostowski 1979 - Sole Distributor for the U.S.A. And Canada, Elsevier North-Holland. details An Undecidable Arithmetical Statement. Andrzej Mostowski 1954 - Journal of Symbolic Logic 19 (2):118-119. details 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 . details On Definable Sets of Positive Integers. Andrzej Mostowski 1948 - Journal of Symbolic Logic 13 (2):112-113. details Axiom of Choice for Finite Sets. Andrzej Mostowski 1948 - Journal of Symbolic Logic 13 (1):45-46. details Alfred Tarski. Andrzej Mostowski 1967 - In Paul Edwards (ed.), The Encyclopedia of Philosophy details 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. details Concerning a problem of H. Scholz. Andrzej Mostowski 1956 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 2 (10-15):210-214. details A Class of Models for Second Order Arithmetic. A. Mostowski 1969 - Journal of Symbolic Logic 34 (1):128-129. details Über die Unabhangigkeit des Auswahlaxioms und Einiger seiner Folgerungen. Adolf Lindenbaum Andrzej Mostowski 1939 - Journal of Symbolic Logic 4 (1):30-31. details Boolesche Ringe Mit Geordneter Basis. Andrzej Mostowski Alfred Tarski 1939 - Journal of Symbolic Logic 4 (3):124-125. details A classification of logical systems. Andrzej Mostowski 1951 - Studia Philosophica 4 (4):237-274. details An Example of a Non-Axiomatizable Many Valued Logic. Andrzej Mostowski 1961 - Mathematical Logic Quarterly 7 (1-5):72-76. details Proofs of Non-Deducibility in Intuitionistic Functional Calculus. Andrzej Mostowski 1949 - Journal of Symbolic Logic 14 (2):137-137. details On Computable Sequences. A. Mostowski 1960 - Journal of Symbolic Logic 25 (4):367-367. details 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. details Concerning a problem of H. Scholz. Andrzej Mostowski 1956 - Mathematical Logic Quarterly 2 (10‐15):210-214. details Definability of Sets in Models of Axiomatic Theories. A. Grzegorczyk A. Mostowski C. Ryll-Nardzewski 1969 - Journal of Symbolic Logic 34 (1):126-126. details On the Principle of Dependent Choices. Andrzej Mostowski 1950 - Journal of Symbolic Logic 14 (4):257-257. details A transfinite sequence of ?-models. Andrzej Mostowski 1972 - Journal of Symbolic Logic 37 (1):96-102. details A Transfinite Sequence Of Omega-Models (Title Edited). Andrzej Mostowski 1972 - Journal of Symbolic Logic 37 (March):96-102. details On Models of Zermelo-Fraenkel Set Theory Satisfying the Axiom of Constructibility. Andrzej Mostowski 1971 - Journal of Symbolic Logic 36 (3):542-542. details Review. [REVIEW] Andrzej Mostowski 1968 - Synthese 18 (2-3):302-305. details 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. details Review: N. N. Vorob'ev, The Problem of Deducibility in the Constructive Propositional Calculus with Strong Negation. [REVIEW] Andrzej Mostowski 1953 - Journal of Symbolic Logic 18 (3):258-258. details 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. details Über den Begriff einer Endlichen Menge. Andrzej Mostowski 1939 - Journal of Symbolic Logic 4 (1):30-30. details 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. details 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. details
Off-campus access
Using PhilPapers from home?
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
RSS feed
