Article,

Coordinate-Free Logic.

.
Rev. Symb. Log., 9 (3): 522-555 (2016)

Meta data

Tags

Users

  • @dblp

Comments and Reviews