Steven Givant
- Introduction to Boolean Algebras
2008/12/09 by Paul R. Halmos, Paul Halmos, Steven Givant · 4 citations
Computer Science · #Advanced Algebra and Logic
- Tarski's System of Geometry
1999/06/01 by Alfred Tarski, Steven Givant · 1 citation
Mathematics · Engineering · #Mathematics and Applications #History and Theory of Mathematics #Advanced Theoretical and Applied Studies in Material Sciences and Geometry #Axiom #Foundations of geometry #Euclidean geometry #Independence (probability theory) #Mathematics #Non-Euclidean geometry #Algebra over a field #Geometry #Calculus (dental) #Pure mathematics #Differential geometry