The following pages link to Andrzej Mostowski (Q767733):
Displaying 50 items.
- Die Mathematische Logik auf dem Internationalen Mathematikerkongress in Amsterdam (Q767734) (← links)
- A proof of Herbrand's theorem (Q767858) (← links)
- Foundational studies. Selected works. Vol. I, II (Q1135280) (← links)
- On some new metamathematical results concerning set theory (Q1215607) (← links)
- (Q1229867) (redirect page) (← links)
- Set theory. With an introduction to descriptive set theory. Translation of the original Polish edition. 2nd, completely revised ed (Q1229868) (← links)
- Widerspruchsfreiheit und Unabhängigkeit der Kontinuumhypothese (Q2394060) (← links)
- Constructible sets with applications (Q2536044) (← links)
- Addition au travail `A proof of Herbrand theorem' (Q2540422) (← links)
- Bemerkungen zum Begriff der inhaltlichen Widerspruchsfreiheit. (Q2590243) (← links)
- Boolesche Ringe mit geordneter Basis. (Q2590440) (← links)
- Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip. (Q2594111) (← links)
- Über die Unabhängigkeit des Auswahlaxioms und einiger seiner Folgerungen. (Q2598622) (← links)
- Über den Begriff einer endlichen Menge. (Q2598623) (← links)
- Abzählbare Boolesche Körper und ihre Anwendung auf die allgemeine Metamathematik. (Q2603392) (← links)
- Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel (Q2650013) (← links)
- Undecidable theories (Q2651342) (← links)
- A geometric interpretation of logical formulae (Q2652283) (← links)
- Examples of sets definable by means of two and three quantifiers (Q3226757) (← links)
- (Q3226843) (← links)
- (Q3228594) (← links)
- (Q3228595) (← links)
- A formula with no recursively enumerable model (Q3228605) (← links)
- Contributions to the theory of definable sets and functions (Q3228607) (← links)
- (Q3229456) (← links)
- Models of axiomatic theories admitting automorphisms (Q3236673) (← links)
- Concerning a problem of H. Scholz (Q3239287) (← links)
- (Q3240240) (← links)
- (Q3240855) (← links)
- L'oeuvre scientifique de Jan Łukasiewicz dans le domaine de la logique mathématique (Q3242161) (← links)
- On computable sequences (Q3244108) (← links)
- (Q3244111) (← links)
- On a generalization of quantifiers (Q3245361) (← links)
- (Q3248968) (← links)
- (Q3250609) (← links)
- The classical and the <i>ω</i>-complete arithmetic (Q3252699) (← links)
- On a problem of W. Kinna and K. Wagner (Q3257226) (← links)
- (Q3261421) (← links)
- A generalization of the incompleteness theorem (Q3279279) (← links)
- Axiomatizability of some many valued predicate calculi (Q3279280) (← links)
- (Q3279286) (← links)
- (Q3281062) (← links)
- (Q3289852) (← links)
- (Q3291525) (← links)
- (Q3291526) (← links)
- (Q3708979) (← links)
- (Q3843605) (← links)
- (Q3844474) (← links)
- (Q3910512) (← links)
- (Q4065546) (← links)
