- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by Lesław Szczerba
10 found
Order:
Disambiguations
Disambiguations:
| Lesław W. Szczerba [10] | Lesław Szczerba [1] |
- On simplicity of formulas.Michał Krynicki & Lesław Szczerba - 1990 - Studia Logica 49 (3):401 - 419.Simple formula should contain only few quantifiers. In the paper the methods to estimate quantity and quality of quantifiers needed to express a sentence equivalent to given one.
- Wanda Szmielew 1918–1976.Marek Kordos, Maria Moszyńska & Lesław W. Szczerba - 1977 - Studia Logica 36 (4):241-244.
- The use of Mizar MSE in a course in foundations of geometry.Lesław W. Szczerba - 1987 - In Jan T. J. Srzednicki (ed.), Initiatives in logic. Boston: M. Nijhoff. pp. 231--232.
- Royden H. L.. Remarks on primitive notions for elementary Euclidean and non-Euclidean plane geometry. The axiomatic method with special reference to geometry and physics, Proceedings of an International Symposium held at the University of California, Berkeley, December 26,1957-January 4, 1958, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 86–96. [REVIEW]Lesław W. Szczerba - 1970 - Journal of Symbolic Logic 35 (3):473-474.
- Review: Wolfram Schwabhäuser, On Completeness and Decidability of Some Non-Definable Notions of Elementary Hyperbolic Geometry. [REVIEW]Lesław W. Szczerba - 1971 - Journal of Symbolic Logic 36 (1):156-156.
- Review: Wolfram Schwabhäuser, Über die Nichtdefinierbarkeit einiger Begriffe der hyperbolischen Geometrie mit elementaren Mitteln. [REVIEW]Lesław W. Szczerba - 1971 - Journal of Symbolic Logic 36 (1):156-156.
- Review: Wolfram Schwabhäuser, Entscheidbarkeit und Vollständigkeit der elementaren hyperbolischen Geometrie. [REVIEW]Lesław W. Szczerba - 1971 - Journal of Symbolic Logic 36 (1):156-156.
- Wolfram Schwabhäuser. Entscheidbarkeit und Vollständigkeit der elementaren hyperbolischen Geometrie. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 , pp. 132–205. [REVIEW]Lesław W. Szczerba - 1971 - Journal of Symbolic Logic 36 (1):156.
- Schwabhäuser Wolfram. Metamathematical methods in foundations of geometry. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Bar-Hillel Yehoshua, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 152–165. [REVIEW]Lesław W. Szczerba - 1970 - Journal of Symbolic Logic 35 (3):474.
- Wolfram Schwabhäuser. On completeness and decidability of some non-definable notions of elementary hyperbolic geometry. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 159–167. [REVIEW]Lesław W. Szczerba - 1971 - Journal of Symbolic Logic 36 (1):156.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-dxklk uwo