132 found
Sort by:
  1. Andrzej Mostowski, W. V. Quine, Arthur Francis Smullyan, Virgil Hinshaw, Alonzo Church, Charles A. Baylis, Maurice L'Abbe, Max Black, Paul Bernays & David Nelson (2013). The Journal of Symbolic Logic Publishes Original Scholarly Work in Symbolic Logic. Founded in 1936, It has Become the Leading Research Journal in the Field. The Journal Aims to Represent Logic Broadly, Including its Connections with Mathematics and Philosophy as Well as Newer Aspects Related to Computer Science and Linguistics. [REVIEW] Journal of Symbolic Logic 63 (64).
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Andrzej Mostowski (2004). Arithmetic of Divisibility in Finite Models. Mathematical Logic Quarterly 50:169-174.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  3. Andrzej Mostowski (1979). Foundational Studies: Selected Works. Sole Distributor for the U.S.A. And Canada, Elsevier North-Holland.
    Provability, Computability and Reflection.
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Andrzej Mostowski (1974). Review: H. B. Enderton, Harvey Friedman, Approximating the Standard Model of Analysis. [REVIEW] Journal of Symbolic Logic 39 (3):600-601.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Andrzej Mostowski (1973). Review: A. D. Tajmanov, Characterization of Axiomatizable Classes of Models. II. [REVIEW] Journal of Symbolic Logic 38 (1):165-165.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. Andrzej Mostowski (1973). Review: A. D. Tajmanov, Elliott Mendelson, Characterization of Finitely Axiomatizable Classes of Models. [REVIEW] Journal of Symbolic Logic 38 (1):165-166.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. Andrzej Mostowski (1973). Review: A. D. Tajmanov, Characterization of Axiomatizable Classes of Models. I. [REVIEW] Journal of Symbolic Logic 38 (1):164-165.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. Andrzej Mostowski (1972). A Transfinite Sequence of ?-Models. Journal of Symbolic Logic 37 (1):96-102.
  9. Andrzej Mostowski (1972). A Transfinite Sequence Of Omega-Models (Title Edited). Journal of Symbolic Logic 37 (March):96-102.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  10. Andrzej Mostowski (1972). Review: S. R. Kogalovskij, On the Semantics of the Theory of Types. [REVIEW] Journal of Symbolic Logic 37 (1):193-194.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. A. Blikle & Andrzej Mostowski (1969). Meeting of the Association for Symbolic Logic Warsaw 1968. Journal of Symbolic Logic 34 (3):533-544.
  12. Andrzej Mostowski (1969). Constructible Sets with Applications. Warszawa, Pwn--Polish Scientific Publishers.
     
    My bibliography  
     
    Export citation  
  13. Andrzej Mostowski (1969). Review: A. I. Mal'cev, On Small Models. [REVIEW] Journal of Symbolic Logic 34 (3):513-514.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. Andrzej Mostowski (1969). Review: A. I. Mal'cev, Model Correspondences. [REVIEW] Journal of Symbolic Logic 34 (2):299-300.
    Direct download  
     
    My bibliography  
     
    Export citation  
  15. Andrzej Mostowski (1968). Craig's Interpolation Theorem in Some Extended Systems of Logic. In B. van Rootselaar & Frits Staal (eds.), Logic, Methodology and Philosophy of Science Iii. Amsterdam, North-Holland Pub. Co.. 87--103.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  16. Andrzej Mostowski (1968). Review. [REVIEW] Synthese 18 (2-3):302-305.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  17. Andrzej Mostowski (1967). Alfred Tarski. In Paul Edwards (ed.), The Encyclopedia of Philosophy. New York, Macmillan. 8--77.
    No categories
     
    My bibliography  
     
    Export citation  
  18. Andrzej Mostowski (1967). O Niektórych Nowych Wynikach Meta-Matematycznych Dotyczących Teorii Mnogości. Studia Logica 20 (1):99 - 116.
  19. Andrzej Mostowski (1967). On Some New Metamathematical Results Concerning Set Theory. Studia Logica 20 (1):115-116.
    The aim of the article is to present some of the newest meta-mathematical results concerning set theory and to discuss on this basis the problem whether and to what extent set theory can serve as a basis for mathematics.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  20. Andrzej Mostowski (1966). Review: Boleslaw Sobocinski, On the Propositional System A of Vuckovic and its Extension. [REVIEW] Journal of Symbolic Logic 31 (1):118-118.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. Andrzej Mostowski (1966). Review: Jan Lukasiewicz, Aristotle's Syllogistic From the Standpoint of Modern Formal Logic. [REVIEW] Journal of Symbolic Logic 31 (2):285-285.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  22. Andrzej Mostowski (1966). Review: Jan Lukasiewicz, Elements of Mathematical Logic. [REVIEW] Journal of Symbolic Logic 31 (2):284-284.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. Andrzej Mostowski (1966). Review: Witold A. Pogorzelski, Jerzy Slupecki, On Mathematical Proof. [REVIEW] Journal of Symbolic Logic 31 (2):284-284.
    Direct download  
     
    My bibliography  
     
    Export citation  
  24. Andrzej Mostowski (1966). Thirty Years of Foundational Studies. New York, Barnes & Noble.
     
    My bibliography  
     
    Export citation  
  25. Andrzej Mostowski (1965). Review: P. S. Novikov, Elements of Mathematical Logic. [REVIEW] Journal of Symbolic Logic 30 (3):356-357.
    Direct download  
     
    My bibliography  
     
    Export citation  
  26. Andrzej Mostowski (1965). Review: V. F. Kostyrko, On a Mistake in the Paper of Zegalkin "On the Decision Problem in Finite Classes". [REVIEW] Journal of Symbolic Logic 30 (2):254-254.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  27. Andrzej Mostowski (1964). Review: Henryk Greniewski, $2^{N+1}$ Logical Values. [REVIEW] Journal of Symbolic Logic 29 (2):109-110.
    Direct download  
     
    My bibliography  
     
    Export citation  
  28. Andrzej Mostowski (1964). Review: Ladislav Rieger, On Suslin-Algebras and Their Representations. [REVIEW] Journal of Symbolic Logic 29 (2):96-97.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  29. Andrzej Mostowski (1964). Review: N. A. Sanin, Uber Konstruktive Lineare Funktionale in Einem Konstruktiven Hilbertschen Raum. [REVIEW] Journal of Symbolic Logic 29 (2):107-108.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  30. Andrzej Mostowski (1963). Review: R. L. Goodstein, Models of Propositional Calculi in Recursive Arithmetic. [REVIEW] Journal of Symbolic Logic 28 (4):291-291.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  31. Andrzej Mostowski (1963). Review: Vladeta Vuckovic, Rekursive Modelle Einiger Nichtklassischen Aussagenkalkule. [REVIEW] Journal of Symbolic Logic 28 (4):291-292.
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  32. Andrzej Mostowski (1962). [Omnibus Review]. Journal of Symbolic Logic 27 (2):223-224.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  33. Andrzej Mostowski (1962). Review: B. A. Trahtenbrot, The Definition of a Finite Set and the Deductive Incompleteness of Set Theory. [REVIEW] Journal of Symbolic Logic 27 (2):236-237.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  34. Andrzej Mostowski (1962). Review: P. S. Novikov, On the Consistency of Some Logical Calculi. [REVIEW] Journal of Symbolic Logic 27 (2):246-246.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  35. Andrzej Mostowski (1962). Review: Theodore Hailperin, A Complete Set of Axioms for Logical Formulas Invalid in Some Finite Domains. [REVIEW] Journal of Symbolic Logic 27 (1):108-109.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. Andrzej Mostowski (1962). Review: U. I. Anov, A. A. Mucnik, On the Existence of $K$-Valued Closed Classes Not Having a Finite Basis. [REVIEW] Journal of Symbolic Logic 27 (2):247-248.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  37. Andrzej Mostowski (1961). An Example of a Non-Axiomatizable Many Valued Logic. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (1-5):72-76.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  38. Andrzej Mostowski (1961). Concerning the Problem of Axiomatizability of the Field of Real Numbers in the Weak Second Order Logic. In Bar-Hillel, Yehoshua & [From Old Catalog] (eds.), Essays on the Foundations of Mathematics. Jerusalem, Magnes Press, Hebrew University;. 269--286.
    No categories
     
    My bibliography  
     
    Export citation  
  39. Andrzej Mostowski (1960). Review: A. Levy, The Independence of Various Definitions of Finiteness. [REVIEW] Journal of Symbolic Logic 25 (2):179-179.
    Direct download  
     
    My bibliography  
     
    Export citation  
  40. Leon Henkin & Andrzej Mostowski (1959). Review: A. Mal'cev, On a General Method for Obtaining Local Theorems in Group Theory. [REVIEW] Journal of Symbolic Logic 24 (1):55-57.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  41. Andrzej Mostowski (1959). Review: A. I. Mal'cev, Subdirect Products of Models. [REVIEW] Journal of Symbolic Logic 24 (1):57-58.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  42. Andrzej Mostowski (1959). Review: A. I. Mal'cev, Quasi-Primitive Classes of Abstract Algebras. [REVIEW] Journal of Symbolic Logic 24 (1):57-57.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  43. Andrzej Mostowski (1959). Review: Azriel Levy, A Note on Definitions of Finiteness. [REVIEW] Journal of Symbolic Logic 24 (2):172-172.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  44. Andrzej Mostowski (1958). Review: A. A. Mucnik, On Separability of Recursively Enumerable Sets. [REVIEW] Journal of Symbolic Logic 23 (2):224-225.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  45. Andrzej Mostowski (1958). Review: V. A. Uspenskij, On Algorithmic Reducibility. [REVIEW] Journal of Symbolic Logic 23 (2):225-225.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  46. Andrzej Mostowski (1958). Review: V. A. Uspenskij, Some Notes on Recursively Enumerable Sets. [REVIEW] Journal of Symbolic Logic 23 (1):49-50.
    Direct download  
     
    My bibliography  
     
    Export citation  
  47. Andrzej Mostowski (1958). Review: V. A. Uspenskij, Calculable Operations and the Notion of a Program. [REVIEW] Journal of Symbolic Logic 23 (1):49-49.
    Direct download  
     
    My bibliography  
     
    Export citation  
  48. C. Ryll-Nardzewski, Andrzej Grzegorczyk & Andrzej Mostowski (1958). The Classical and the Ω-Complete Arithmetic. Journal of Symbolic Logic 23 (2):188-206.
  49. Andrzej Mostowski (1957). On a Generalization of Quantifiers. Fundamenta Mathematicae 44:12--36.
  50. Andrzej Mostowski (1957). Review: G. Kreisel, A Variant to Hilbert's Theory of the Foundations of Arithmetic. [REVIEW] Journal of Symbolic Logic 22 (3):304-306.
    Direct download  
     
    My bibliography  
     
    Export citation  
1 — 50 / 132