- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by A. Mostowski
305 found
Order:
Disambiguations
Disambiguations:
| Andrzej Mostowski [260] | A. Mostowski [32] | A. Wlodzimierz Mostowski [7] | Andkzej Mostowski [3] |
| A. Włodzimierz Mostowski [1] | Andrzeij Mostowski [1] | Andrzej Włodzimierz Mostowski [1] | Andrezej Mostowski [1] |
Not all matches are shown. Search with initial or firstname to single out others.
- On a generalization of quantifiers.Andrzej Mostowski - 1957 - Fundamenta Mathematicae 44 (2):12--36.
- Undecidable Theories.Alfred Tarski, Andrzej Mostowski & Raphael M. Robinson - 1953 - Philosophy 30 (114):278-279.No categories
- On a Generalization of Quantifiers.A. Mostowski - 1958 - Journal of Symbolic Logic 23 (2):217-217.
- On a Generalization of Quantifiers.A. Mostowski - 1960 - Journal of Symbolic Logic 25 (4):365-366.
- Systems of Logic Based on Ordinals.Andrzej Mostowski - 1939 - Journal of Symbolic Logic 4 (3):128-129.
- Thirty years of foundational studies.Andrzej Mostowski - 1966 - New York,: Barnes & Noble.
- Set Theory.K. Kuratowski & A. Mostowski - 1971 - Philosophy of Science 38 (2):314-315.
- The classical and the ω-complete arithmetic.C. Ryll-Nardzewski, Andrzej Grzegorczyk & Andrzej Mostowski - 1958 - Journal of Symbolic Logic 23 (2):188-206.
- Models of Axiomatic Theories Admitting Automorphisms.A. Ehrenfeucht & A. Mostowski - 1966 - Journal of Symbolic Logic 31 (4):644-645.
- Proofs of non-deducibility in intuitionistic functional calculus.Andkzej Mostowski - 1948 - Journal of Symbolic Logic 13 (4):204-207.
- 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.
- Logika matematyczna.Andrzej Mostowski - 1948 - Synthese 7 (4):299-301.No categories
- On Models of Axiomatic Systems.A. Mostowski - 1954 - Journal of Symbolic Logic 19 (3):220-221.
- Über die Unabhangigkeit des Wohlordnungssatzes vom Ordnungsprinzip.Andrzej Mostowski - 1939 - Journal of Symbolic Logic 4 (3):129-130.
- 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.
- Recent Results in Set Theory.Andrzej Mostowski, Imre Lakatos, G. Kreisel, A. Robinson & A. Mostowski - 1972 - Journal of Symbolic Logic 37 (4):765-766.
- Some Impredicative Definitions in the Axiomatic Set-Theory.Andrzej Mostowski - 1951 - Journal of Symbolic Logic 16 (4):274-275.
- 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.
- 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.
- An Undecidable Arithmetical Statement.Andrzej Mostowski - 1954 - Journal of Symbolic Logic 19 (2):118-119.
- Constructible sets with applications.Andrzej Mostowski - 1969 - Warszawa,: PWN--Polish Scientific Publishers.
- On direct products of theories.Andrzej Mostowski - 1952 - Journal of Symbolic Logic 17 (1):1-31.
- 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.Provability, Computability and Reflection.
- A Class of Models for Second Order Arithmetic.A. Mostowski - 1969 - Journal of Symbolic Logic 34 (1):128-129.
- Axiom of Choice for Finite Sets.Andrzej Mostowski - 1948 - Journal of Symbolic Logic 13 (1):45-46.
- Boolesche Ringe Mit Geordneter Basis.Andrzej Mostowski & Alfred Tarski - 1939 - Journal of Symbolic Logic 4 (3):124-125.
- Concerning a problem of H. Scholz.Andrzej Mostowski - 1956 - Mathematical Logic Quarterly 2 (10‐15):210-214.No categories
- Concerning a problem of H. Scholz.Andrzej Mostowski - 1956 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 2 (10-15):210-214.No categories
- On Computable Sequences.A. Mostowski - 1960 - Journal of Symbolic Logic 25 (4):367-367.
- On Definable Sets of Positive Integers.Andrzej Mostowski - 1948 - Journal of Symbolic Logic 13 (2):112-113.
- Proofs of Non-Deducibility in Intuitionistic Functional Calculus.Andrzej Mostowski - 1949 - Journal of Symbolic Logic 14 (2):137-137.
- Definability of Sets in Models of Axiomatic Theories.A. Grzegorczyk, A. Mostowski & C. Ryll-Nardzewski - 1969 - Journal of Symbolic Logic 34 (1):126-126.
- Über die Unabhangigkeit des Auswahlaxioms und Einiger seiner Folgerungen.Adolf Lindenbaum & Andrzej Mostowski - 1939 - Journal of Symbolic Logic 4 (1):30-31.
- A classification of logical systems.Andrzej Mostowski - 1951 - Studia Philosophica 4 (4):237-274.No categories
- An Example of a Non-Axiomatizable Many Valued Logic.Andrzej Mostowski - 1961 - Mathematical Logic Quarterly 7 (1-5):72-76.
- Alfred Tarski.Andrzej Mostowski - 1967 - In Paul Edwards (ed.), The Encyclopedia of philosophy. New York,: Macmillan. pp. 8--77.
- On the Principle of Dependent Choices.Andrzej Mostowski - 1950 - Journal of Symbolic Logic 14 (4):257-257.
- 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.
- A transfinite sequence of ?-models.Andrzej Mostowski - 1972 - Journal of Symbolic Logic 37 (1):96-102.
- A Transfinite Sequence Of Omega-Models (Title Edited).Andrzej Mostowski - 1972 - Journal of Symbolic Logic 37 (March):96-102.
- On Models of Zermelo-Fraenkel Set Theory Satisfying the Axiom of Constructibility.Andrzej Mostowski - 1971 - Journal of Symbolic Logic 36 (3):542-542.
- A Classification of Logical Systems.Andrzej Mostowski - 1952 - Journal of Symbolic Logic 17 (4):274-275.
- Über den Begriff einer Endlichen Menge.Andrzej Mostowski - 1939 - Journal of Symbolic Logic 4 (1):30-30.
- Der Gegenwärtige Stand der Grundlagenforschung in der Mathematik.A. Mostowski, A. Grzegorczyk, S. Mazur & H. Rasiowa - 1956 - Journal of Symbolic Logic 21 (4):372-373.
- L'Oeuvre Scientifique de Jan Łukasiewicz dans Le Domaine de la Logique Mathématique.A. Mostowski - 1957 - Journal of Symbolic Logic 22 (4):387-388.
- On Direct Products of Theories.Andrzej Mostowski - 1952 - Journal of Symbolic Logic 17 (3):203-204.
- On Various Degrees of Constructivism.Andrzej Mostowski - 1970 - Journal of Symbolic Logic 35 (4):575-576.
- 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.
- A Compact Space of Models of First Order Theories.A. Ehrenfeucht & A. Mostowski - 1970 - Journal of Symbolic Logic 35 (4):586-587.
- An Example of a Non-Axiomatizability Many Valued Logic.Louise Hay & Andrzej Mostowski - 1970 - Journal of Symbolic Logic 35 (1):143.
| 1 — 50 / 305 |
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-4c2ch uwo