Publisher
Cambridge University Press
Subscriber
IISc
Year of Publication
October 2011
Editor(s)
Juliette Kennedy, Roman Kossak
Series
Lecture Notes in Logic (36)