Sciweavers

BSL
1999
262views more  BSL 1999»
14 years 5 days ago
Tarski's system of geometry
Recently, in a paper by Tarski and Givant (Bull. Symbolic Logic, 1999, 5, 175
Alfred Tarski, Steven Givant