%0 Journal Article %1 journals/rsl/Leo16 %A Leo, Joop %D 2016 %J Rev. Symb. Log. %K dblp %N 3 %P 522-555 %T Coordinate-Free Logic. %U http://dblp.uni-trier.de/db/journals/rsl/rsl9.html#Leo16 %V 9

@article{journals/rsl/Leo16, added-at = {2019-08-20T00:00:00.000+0200}, author = {Leo, Joop}, biburl = {https://www.bibsonomy.org/bibtex/2b88f6f4636191802cbbe7366f0efe53b/dblp}, ee = {https://doi.org/10.1017/S1755020316000174}, interhash = {f86efc151c381b21f2e1af566323dff4}, intrahash = {b88f6f4636191802cbbe7366f0efe53b}, journal = {Rev. Symb. Log.}, keywords = {dblp}, number = 3, pages = {522-555}, timestamp = {2019-08-21T11:41:20.000+0200}, title = {Coordinate-Free Logic.}, url = {http://dblp.uni-trier.de/db/journals/rsl/rsl9.html#Leo16}, volume = 9, year = 2016 }