-
Wanda Szmielew née
Montlak (5
April 1918 – 27
August 1976) was a
Polish mathematical logician who
first proved the
decidability of the first-order theory...
- 1969)
Podstawy geometrii (1955)
Foundations of
Geometry (1960) with
Wanda Szmielew,
North Holland publisher Theory of
Retracts (1967), PWN, Warszawa. Theory...
-
Keisler Roger Maddux Richard Montague Anne C.
Morel Andrzej Mostowski Julia Robinson Wanda Szmielew Robert Vaught Other notable
students Evert Willem Beth...
-
Saddle River, NJ:
Prentice Hall, Inc. ISBN 0-13-181629-2. OCLC 42683260.
Szmielew,
Wanda (1983). From
Affine to
Euclidean Geometry. Springer. ISBN 978-90-277-1243-1...
-
Coxeter (1961)
Introduction to Geometry, p 192, John
Wiley & Sons
Wanda Szmielew (1983) From
Affine to
Euclidean Geometry, p 17, D.
Reidel ISBN 90-277-1243-3...
- {\displaystyle {\textbf {Ab}}} , the
prototype of an
abelian category.
Wanda Szmielew (1955)
proved that the first-order
theory of
abelian groups,
unlike its...
-
Sernadas Sun-Joo Shin
Alexandra Silva Sonja Smets Susan Stebbing Wanda Szmielew Mary
Tiles Monica VanDieren (US, born 1974)
Rineke Verbrugge (Netherlands...
-
Tarski in 1949. The first-order
theory of
Abelian groups,
established by
Szmielew in 1955. The first-order
theory of
hyperbolic geometry,
established by...
- Geometry,
Mathematical Expositions #20,
University of
Toronto Press.
Wanda Szmielew (1984) From
Affine to
Euclidean Geometry: an
axiomatic approach, D. Reidel...
-
Enderton 2001, p. 188. Grädel et al. 2007.
Fried &
Jarden 2008, p. 171.
Szmielew 1955, Page 229
describes "the
method of
eliminating quantification".. Hodges...
