1
Published 2009
Springer Berlin Heidelberg
Subjects: ...Mathematical logic...