Sciweavers

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