Adamowicz, Zofia
Adamowicz, Zofia 1950-
Adamowicz, Zofia ca. 20./21. Jahrhundert
VIAF ID: 33705947 ( Personal )
Permalink: http://viaf.org/viaf/33705947
Preferred Forms
- 200 _ | ‡a Adamowicz ‡b Zofia
- 100 1 _ ‡a Adamowicz, Zofia
- 100 1 _ ‡a Adamowicz, Zofia
-
-
-
- 100 1 0 ‡a Adamowicz, Zofia
-
-
- 100 1 _ ‡a Adamowicz, Zofia ‡d 1950-
- 100 1 _ ‡a Adamowicz, Zofia ‡d ca. 20./21. Jahrhundert
4xx's: Alternate Name Forms (2)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
End-extending models of I[Delta]0 + exp + B[Sigma]1 | |
Fale stochastyczne | |
Forcing and Π1/2 predicates | |
A generalization of the consistency predicate | |
Logic of mathematics a modern course of classical logic | |
Logika matematyczna | |
Lower and upper bounds for the provability of Herbrand consistency in weak arithmetics | |
Model of I[Delta]0 + [negation]exp + [negation]B[Sigma]1 | |
A model-theoretic approach to proof theory | |
On Tableau consistency in weak theories | |
Open induction and the true theory of rationals | |
Restricted polynomial induction versus ordinary induction | |
Stochastic wave propagation |