ProofWiki:Mathematicians/Writers/Steven R. Givant
From ProofWiki
Author of:
- June 1999: Tarski's System of Geometry (The Bulletin of Symbolic Logic Vol. 5, no. 2: 175 – 214) (with Alfred Tarski)
