Something for nothing: some consequences of the solution of the Tarski problems

Groups St Andrews 2013 ◽

10.1017/cbo9781316227343.015 ◽

2015 ◽

pp. 242-270

Author(s):

Benjamin Fine ◽

Anthony Gaglione ◽

Gerhard Rosenberger ◽

Dennis Spellman

Download Full-text