scientific article; zbMATH DE number 3151264
From MaRDI portal
Publication:3268765
zbMATH Open0092.38601MaRDI QIDQ3268765FDOQ3268765
Authors: Wanda Szmielew 
Publication date: 1959
Title of this publication is not available (Why is that?)
Cited In (9)
- Poincaré on the value of reasoning machines
- Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq
- Wanda Szmielew 1918-1976
- An alternative construction of Conway's ordered field No
- Errata to ``An alternative construction of Conway's ordered field No.
- On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving
- Model-theoretic properties of nilpotent groups and Lie algebras
- A constructive version of Tarski's geometry
- Universal hyperbolic geometry. I: Trigonometry
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3268765)
