Movatterモバイル変換

[0]ホーム
URL:

PhilPapersPhilPeoplePhilArchivePhilEventsPhilJobs

Works by A. Mostowski

(view other items matching `A. Mostowski`,view all matches )
199 found
Order:

1 filter applied
  1.  154
    (2 other versions)On a generalization of quantifiers.Andrzej Mostowski -1957 -Fundamenta Mathematicae 44 (2):12--36.
  2. (1 other version)Undecidable Theories.Alfred Tarski,Andrzej Mostowski &Raphael M. Robinson -1953 -Philosophy 30 (114):278-279.
    No categories
     
    Export citation  
     
    Bookmark   123 citations  
  3.  38
    Thirty years of foundational studies.Andrzej Mostowski -1966 - New York,: Barnes & Noble.
  4. Set Theory.K. Kuratowski &A. Mostowski -1971 -Philosophy of Science 38 (2):314-315.
     
    Export citation  
     
    Bookmark   24 citations  
  5.  300
    The classical and the ω-complete arithmetic.C. Ryll-Nardzewski,Andrzej Grzegorczyk &Andrzej Mostowski -1958 -Journal of Symbolic Logic 23 (2):188-206.
  6.  35
    Models of Axiomatic Theories Admitting Automorphisms.A. Ehrenfeucht &A. Mostowski -1966 -Journal of Symbolic Logic 31 (4):644-645.
  7.  64
    (1 other version)Proofs of non-deducibility in intuitionistic functional calculus.Andkzej Mostowski -1948 -Journal of Symbolic Logic 13 (4):204-207.
  8.  62
    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.
    Direct download(2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  9.  26
    On Models of Axiomatic Systems.A. Mostowski -1954 -Journal of Symbolic Logic 19 (3):220-221.
  10. Logika matematyczna.Andrzej Mostowski -1948 -Synthese 7 (4):299-301.
    No categories
     
    Export citation  
     
    Bookmark   12 citations  
  11.  23
    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.
  12.  34
    Ü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.  93
    (1 other version)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.
  14.  39
    Recent Results in Set Theory.Andrzej Mostowski,Imre Lakatos,G. Kreisel,A. Robinson &A. Mostowski -1972 -Journal of Symbolic Logic 37 (4):765-766.
  15.  44
    Some Impredicative Definitions in the Axiomatic Set-Theory.Andrzej Mostowski -1951 -Journal of Symbolic Logic 16 (4):274-275.
  16. 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.
     
    Export citation  
     
    Bookmark   9 citations  
  17. Craig's interpolation theorem in some extended systems of logic.Andrzej Mostowski -1968 - In B. van Rootselaar & Frits Staal,Logic, methodology and philosophy of science III. Amsterdam,: North-Holland Pub. Co.. pp. 87--103.
     
    Export citation  
     
    Bookmark   8 citations  
  18.  65
    (1 other version)On direct products of theories.Andrzej Mostowski -1952 -Journal of Symbolic Logic 17 (1):1-31.
  19.  25
    Constructible sets with applications.Andrzej Mostowski -1969 - Warszawa,: PWN--Polish Scientific Publishers.
  20.  26
    An Undecidable Arithmetical Statement.Andrzej Mostowski -1954 -Journal of Symbolic Logic 19 (2):118-119.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  21.  20
    A Class of Models for Second Order Arithmetic.A. Mostowski -1969 -Journal of Symbolic Logic 34 (1):128-129.
  22.  33
    Axiom of Choice for Finite Sets.Andrzej Mostowski -1948 -Journal of Symbolic Logic 13 (1):45-46.
  23.  16
    Boolesche Ringe Mit Geordneter Basis.Andrzej Mostowski &Alfred Tarski -1939 -Journal of Symbolic Logic 4 (3):124-125.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  24.  22
    (1 other version)Concerning a problem of H. Scholz.Andrzej Mostowski -1956 -Mathematical Logic Quarterly 2 (10‐15):210-214.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  25.  29
    On Computable Sequences.A. Mostowski -1960 -Journal of Symbolic Logic 25 (4):367-367.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  26.  29
    On Definable Sets of Positive Integers.Andrzej Mostowski -1948 -Journal of Symbolic Logic 13 (2):112-113.
  27.  25
    (1 other version)A classification of logical systems.Andrzej Mostowski -1951 -Studia Philosophica 4 (4):237-274.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  28.  41
    (1 other version)An Example of a Non-Axiomatizable Many Valued Logic.Andrzej Mostowski -1961 -Mathematical Logic Quarterly 7 (1-5):72-76.
  29. Alfred Tarski.Andrzej Mostowski -1967 - In Paul Edwards,The Encyclopedia of philosophy. New York,: Macmillan. pp. 8--77.
     
    Export citation  
     
    Bookmark   4 citations  
  30.  20
    On the Principle of Dependent Choices.Andrzej Mostowski -1950 -Journal of Symbolic Logic 14 (4):257-257.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  31.  20
    Definability of Sets in Models of Axiomatic Theories.A. Grzegorczyk,A. Mostowski &C. Ryll-Nardzewski -1969 -Journal of Symbolic Logic 34 (1):126-126.
  32.  58
    A transfinite sequence of ?-models.Andrzej Mostowski -1972 -Journal of Symbolic Logic 37 (1):96-102.
  33.  73
    Über den Begriff einer Endlichen Menge.Andrzej Mostowski -1939 -Journal of Symbolic Logic 4 (1):30-30.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  18
    On Models of Zermelo-Fraenkel Set Theory Satisfying the Axiom of Constructibility.Andrzej Mostowski -1971 -Journal of Symbolic Logic 36 (3):542-542.
  35.  18
    On Various Degrees of Constructivism.Andrzej Mostowski -1970 -Journal of Symbolic Logic 35 (4):575-576.
  36.  4
    Logika Matematyczna. Kurs Uniwersytecki.Andrzej Mostowski -1948 - Seminarium Matematyczne Uniwersytetu Wrocławskiego.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  37.  18
    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.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  14
    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.
  39.  21
    Médvédév Ú. T.. Stépéni trudnosti massovyh problém . Doklady Akadémii Nauk SSSR, vol. 104 , pp. 501–504.Andrzej Mostowski -1956 -Journal of Symbolic Logic 21 (3):320-321.
  40. 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.
     
    Export citation  
     
    Bookmark   2 citations  
  41.  13
    A Compact Space of Models of First Order Theories.A. Ehrenfeucht &A. Mostowski -1970 -Journal of Symbolic Logic 35 (4):586-587.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  42
    Recenzje.Tadeusz Kotarbiński,Andrzej Mostowski,Janina Kotarbińska &Jerzy Kalinowski -1956 -Studia Logica 4 (1):255-277.
  43.  10
    Abzählbare Boolesche Körper und ihre Anwendung auf die Allgemeine Metamathematik.Andrzej Mostowski -1938 -Journal of Symbolic Logic 3 (1):47-47.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  27
    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)  
     
    Export citation  
     
    Bookmark  
  45.  45
    Ajdukiewicz Kazimierz. Metodologia i metanauka . Życie nauki vol. 6 , pp. 4–15. English summary, ibid., pp. 151–152.Andrzej Mostowski -1949 -Journal of Symbolic Logic 14 (2):140-140.
  46.  19
    A Lemma Concerning Recursive Functions and Its Applications.A. Mostowski -1954 -Journal of Symbolic Logic 19 (4):299-300.
  47.  9
    Andrzej Mostowski and foundational studies.Andrzej Mostowski,Andrzej Ehrenfeucht,Wiktor Marek &Marian Srebrny (eds.) -2008 - Amsterdam: IOS Press.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48. Arithmetic of Divisibility in Finite Models.Andrzej Mostowski -2004 -Mathematical Logic Quarterly 50:169-174.
  49.  13
    A Problem in the Theory of Models.A. Mostowski -1974 -Journal of Symbolic Logic 39 (3):600-600.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  14
    A Proof of Herbrand's Theorem.A. Mostowski &H. Rasiowa -1971 -Journal of Symbolic Logic 36 (1):168-169.
1 — 50 / 199
Export
Limit to items.
Filters





Configure languageshere.Sign in to use this feature.

Viewing options


Open Category Editor
Off-campus access
Using PhilPapers from home?

Create an account to enable off-campus access through your institution's proxy server or OpenAthens.

Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:

Email RSS feed
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct

CDPPhiosophy Documentation Center
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).

Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation

Server: philpapers-web-5b9ff6f457-t4pt2 uwo
[8]ページ先頭
©2009-2025 Movatter.jp