Title: S ets, logic and axiomatic theories
First published: 1974