The logic of provability

书目详细资料
主要作者:	Boolos, George (Author)
格式:	图书
语言:	English
出版:	Cambridge, England Cambridge University Press 1993.
主题:	Modality (Logic) Proof theory.