Lesław W. Szczerba (szczerba-lw)
Beiträge zu Philosophie.ch
No contributions yet
Bibliography
Krynicki, Michał, Mostowski, Marcin and Szczerba, Lesław W., eds. 1995a. Quantifiers: Logic, Models, and Computation. Volume One: Surveys. Synthese Library n. 248. Dordrecht: Kluwer Academic Publishers.
Krynicki, Michał, Mostowski, Marcin and Szczerba, Lesław W., eds. 1995b. Quantifiers: Logic, Models, and Computation. Volume Two: Contributions. Synthese Library n. 249. Dordrecht: Kluwer Academic Publishers.
Schwabhäuser, Wolfram and Szczerba, Lesław W. 1974. “An Affine Space as Union of Spaces of Higher Dimensions.” 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. 133–138. 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.
Szczerba, Lesław W. 1977. “Interpretability of Elementary Theories.” in Logic, Foundations of Mathematics, and Computability Theory. Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada, 1975, edited by Robert E. Butts and Jaakko Hintikka, pp. 129–145. The University of Western Ontario Series in Philosophy of Science n. 9. Dordrecht: D. Reidel Publishing Co.
Szczerba, Lesław W. 1987. “The Use of MIZAR ME in a Course in Foundations of Geometry.” in Initiatives in Logic, edited by Jan T. L. Srzednicki, pp. 240–255. Reason and Argument n. 2. Den Haag: Martinus Nijhoff Publishers.
Szczerba, Lesław W. and Tarski, Alfred. 1965. “Metamathematical Properties of Some Affine Geometries.” in Logic, Methodology and Philosophy of Science II, Proceedings of the 1964 International Congress in Jerusalem, edited by Yehoshua Bar-Hillel, pp. 166–178. Amsterdam: North-Holland Publishing Co.
Szczerba, Lesław W. and Tarski, Alfred. 1979. “Metamathematical Discussion of Some Affine Geometries.” Fundamenta Mathematicae 104(3): 155–192. Extension and elaboration of Szczerba and Tarski (1965), doi:10.4064/fm-104-3-155-192.