عنوان
پدید آورنده
موضوع
رده
BC .M6B66 199
BC
.
M6B66
199
کتابخانه
محل استقرار
The unprovability of consistency : an essay in modal logic
George Boolos
Cambridge, New York
Cambridge University Press
1979
viii, 184 p. ; 22 cm
Includes index
Bibliography: p. 180-182
Modality )Logic(
Proof theory
BC
199
.
M6B66
Boolos, George.
Title
English Book
