Andrzej Mostowski

发表

Andrzej Mostowski, 1947, J. Symb. Log..

Turing A. M.. Systems of logic based on ordinals. Proceedings of the London Mathematical Society, 2. Folge, Bd. 45, Heft 3 (1939), S. 161–228.

Andrzej Mostowski, 1939 .

Bemerkungen zum Begriff der Inhaltlichen Widerspruchsfreiheit

Andrzej Mostowski, 1939, J. Symb. Log..

The Elementary Theory of Well-Odering—A Metamathematical Study—

Alfred Tarski, Andrzej Mostowski, John E. Doner, 1978 .

Kleene S. C.. On the intuitionistic logic. Library of the Xth International Congress of Philosophy (Amsterdam, August, 11–18, 1948). Vol. I. Proceedings of the Congress. Preprint 1948, pp. 185–187.

Andrzej Mostowski, 1949 .

Proofs of Non-Deducibility in Intuitionistic Functional Calculus

Andrzej Mostowski, 1948, J. Symb. Log..

Review: A. Markov, Impossibility of Algorithms for Recognizing Some Properties of Associative Systems

Andrzej Mostowski, 1952 .

Review: Leon Henkin, Some Interconnections Between Modern Algebra and Mathematical Logic

Andrzej Mostowski, 1955 .

Review: V. A. Uspenskij, On Calculable Operations

Andrzej Mostowski, 1957 .

Review: A. A. Markov, The Theory of Algorithms

Andrzej Mostowski, 1953 .

The Classical and the omega-Complete Arithmetic

Andrzej Mostowski, Andrzej Grzegorczyk, Czeslaw Ryll-Nardzewski, 1958, J. Symb. Log..

Review: A. A. Markov, On Unsolvable Algorithmic Problems

Andrzej Mostowski, 1953 .

Meeting of the Association for Symbolic Logic Warsaw 1968

Andrzej Mostowski, Andrzej Blikle, 1969, J. Symb. Log..

Review: V. A. Uspenskij, Calculable Operations and the Notion of a Program

Andrzej Mostowski, 1958 .

On A Set of Integers not Definable by Means of One-Quantifier Predicates

Andrzej Mostowski, A. Mostowski, 1948 .

A Transfinite Sequence of omega-Models

Andrzej Mostowski, 1972, J. Symb. Log..

On direct products of theories

Andrzej Mostowski, A. Mostowski, 1952, Journal of Symbolic Logic.

On the Rules of Proof in the Pure Functional Calculus of the First Order

Andrzej Mostowski, 1951, J. Symb. Log..

An Exposition of Forcing

Andrzej Mostowski, 1975 .

Definability of Sets in Models of Axiomatic Theories

Andrzej Mostowski, Andrzej Grzegorczyk, C. Ryll-Nardzewski, 1979 .

A formula with no recursively enumerable model

Andrzej Mostowski, A. Mostowski, 1955 .

Models of axiomatic theories admitting automorphisms

Andrzej Ehrenfeucht, Andrzej Mostowski, A. Ehrenfeucht, 1956 .

An undecidable arithmetical statement

Andrzej Mostowski, A. Mostowski, 1949 .

Partial Orderings of the Family of ω-Models

Andrzej Mostowski, 1979 .

Review: Jan Lukasiewicz, Aristotle's Syllogistic from the Standpoint of Modern Formal Logic

Andrzej Mostowski, 1966 .

Review: S. C. Kleene, On the Interpretation of Intuitionistic Number Theory

Andrzej Mostowski, 1947 .

Axiomatizability of some many valued predicate calculi

Andrzej Mostowski, A. Mostowski, 1961 .

Review: N. N. Vorob'ev, A Constructive Propositional Calculus with Strong Negation

Andrzej Mostowski, A. Mostowski, 1953 .

On a System of Axioms Which Has no Recursively Enumerable Arithmetic Model

Andrzej Mostowski, A. Mostowski, 1953 .

An undecidable arithmetical statement

Andrzej Mostowski, 1949 .

Concerning A Problem of H. Scholz

Andrzej Mostowski, A. Mostowski, 1956 .

On ω-models which are not β-models

Andrzej Mostowski, Y. Suzuki, 1969 .

On Various Degrees of Constructivism

Andrzej Mostowski, A. Mostowski, 1979 .

Review: G. S. Cejtin, An Associative Calculus with an Unsolvable Equivalence Problem

Andrzej Mostowski, 1957 .

On definable sets of positive integers

Andrzej Mostowski, A. Mostowski, 1947 .

A generalization of the incompleteness theorem

Andrzej Mostowski, A. Mostowski, 1961 .

Contributions to the theory of definable sets and functions

Andrzej Mostowski, A. Mostowski, 1955 .

A generalization of the incompleteness theorem

Andrzej Mostowski, 1961 .

On Absolute Properties of Relations

Andrzej Mostowski, A. Mostowski, 1947 .

Quasi-Primitive Classes of Abstract Algebras.

Andrzej Mostowski, A. I. Mal'cev, A. Mostowski, 1959 .

The classical and the ω-complete arithmetic

Andrzej Mostowski, Andrzej Grzegorczyk, C. Ryll-Nardzewski, 1958, Journal of Symbolic Logic.

The Hilbert Epsilon Function in Many-Valued Logics

Andrzej Mostowski, 1979 .

Review: A. Markov, Impossibility of Certain Algorithms in the Theory of Associative Systems

Andrzej Mostowski, A. Mostowski, 1948 .

On the independence of definitions of finiteness in a system of logic

Andrzej Mostowski, 1979 .

Some Impredicative Definitions in the Axiomatic Set-Theory

Andrzej Mostowski, 1979 .