-
RecordNumber
12605
-
Author
Boolos, George
-
Title
The unprovability of consistency; An essay in modal logic
-
Author Statement
George Boolos
-
Publication
Cambridge university
-
Publication Year
[c1979]
-
Collation
viii, 184 p
-
Bibliography
Bibliography: p. 180- 182
-
Subject
Modality (Logic) , Proof theory
-
Main Class
160
-
Cutter no
B724m
-
وارد كنندة اطلاعات
^d//
-
Link To Document :
