Wanda Szmielew (szmielew)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Schwabhäuser, Wolfram, Szmielew, Wanda and Tarski, Alfred. 1983. Metamathematische Methoden in der Geometrie. Berlin: Springer, doi:10.1007/978-3-642-69418-9.
Szmielew, Wanda. 1959. “Some Metamathematical Problems Concerning Elementary Hyperbolic Geometry.” in The Axiomatic Method with Special Reference to Geometry and Physics, edited by Leon Henkin, Patrick Suppes, and Alfred Tarski, pp. 30–52. Amsterdam: North-Holland Publishing Co.
Szmielew, Wanda. 1974. “The Role of the Pasch Axiom in the Foundations of Euclidean Geometry.” in Proceedings of the Tarski Symposium. An International Symposium Held to Honor Alfred Tarski on the Occasion of his Seventieth Birthday, edited by Arend Heyting, pp. 123–132. Proceedings of Symposia in Pure Mathematics n. 25. Providence, Rhode Island: American Mathematical Society. Held at the University of California, Berkeley, June 23-30, 1971.