ame ▁Journal ▁of ▁F ormal ▁Log ic ▁ 3 2 : ▁ 2 4 2 - 4 7 . ▁▁▁ ▁Cas ati , ▁R ., ▁and ▁Var zi , ▁A . ▁C ., ▁ 1 9 9 9 . ▁Part s ▁and ▁places : ▁the ▁structures ▁of ▁spatial ▁representation . ▁M IT ▁Press . ▁▁ ▁Clar ke , ▁Bow man , ▁ 1 9 8 1 , ▁" A ▁calculus ▁of ▁individuals ▁based ▁on ▁' connection ', " ▁Notre ▁D ame ▁Journal ▁of ▁F ormal ▁Log ic ▁ 2 2 : ▁ 2 0 4 - 1 8 . ▁ ▁- ---- -, ▁ 1 9 8 5 , ▁" Ind ividual s ▁and ▁Point s ," ▁Notre ▁D ame ▁Journal ▁of ▁F ormal ▁Log ic ▁ 2 6 : ▁ 6 1 - 7 5 . ▁De ▁Lag una , ▁T ., ▁ 1 9 2 2 , ▁" Point , ▁line ▁ ▁and ▁surface ▁as ▁sets ▁of ▁sol ids ," ▁The ▁Journal ▁of ▁Philosoph y ▁ 1 9 : ▁ 4 4 9 - 6 1 . ▁ ▁Ger la , ▁G ., ▁ 1 9 9 5 , ▁" Point less ▁Ge omet ries " ▁in ▁B ue ken h out , ▁F ., ▁Kant or , ▁W . ▁ed s ., ▁Hand book ▁of ▁inc idence ▁geometry : ▁buildings ▁and ▁found ations . ▁North - Hol land : ▁ 1 0 1 5 - 3 1 . ▁- ------- , ▁and ▁Mir anda ▁A ., ▁ 2 0 0