-
RecordNumber
95509
-
Author
Boolos, George
-
Title
The logic of provability
-
Author Statement
George Boolos
-
Publication
Cambridge : Cambridge University
-
Publication Year
c1993
-
Collation
xxxvi, 275 p.
-
Index
Includes index
-
Bibliography
p. [262]- 269
-
Subject
Modality (Logic) , Proof theory
-
ADDED ENTRIES
TI
-
Main Class
160
-
Cutter no
B724l
-
ISBN
0-521-48325-5
-
واردكننده اطلاعات
شيرين السادات خليفه سلطاني
-
Link To Document :
