1
Published 1990
Springer Netherlands
Subjects: ...Mathematical Logic and Foundations...