A. Mostowski

发表

Craig's Interpolation Theorem in Some Extended Systems of Logic

A. Mostowski, 1979 .

On Recursive Models of Formalised Arithmetic

A. Mostowski, 1979 .

THE THEORY OF ELIMINATION

M. Stark, A. Mostowski, A. Mostowski, 1964 .

Models of axiomatic systems

A. Mostowski, A. Mostowski, 1952 .

CHAPTER III – COMPLEX NUMBERS

A. Mostowski, 1964 .

A proof of Herbrand's theorem

Helena Rasiowa, A. Mostowski, J. Toś, 1979 .

On the independence of the well-ordering theorem from the ordering principle

A. Mostowski, 1979 .

Axiomatizability of some many Valued Predicate Calculi.

Louise Hay, A. Mostowski, A. Mostowski, 1970 .

On extendability of models of ZF set theory to the models of Kelley-Morse theory of classes

W. Marek, A. Mostowski, 1975 .

Computational algorithms for deciding some problems for nilpotent groups

A. Mostowski, 1966 .