عنوان
پدید آورنده
موضوع
رده
BC 199 .M6B6
BC
199
.
M6B6
کتابخانه
محل استقرار
The logic of provability
Cambridge
Cambridge University Press
1995
xxxvi, 276 p
Bibliography :p. )262(-269
ISBN 0521483255
George Boolos
1
، Modality )Logic(
، Proof theory
BC
199
.
M6B6
CA
160
Boolos, George S., 0491-6991
AU
TI
