|
|
|
|
| LEADER |
00925nam a2200253 i 4500 |
| 001 |
c000235287 |
| 003 |
CARM |
| 005 |
00000000000000.0 |
| 008 |
840229s1979 vp 0 eng d |
| 019 |
1 |
|
|a 1074147
|z 12429728
|5 LACONCORD2021
|
| 020 |
|
|
|a 0521218799
|
| 035 |
|
|
|a (OCoLC)3516213
|5 LACONCORD2021
|
| 082 |
0 |
4 |
|a 160
|
| 100 |
1 |
|
|a Boolos, George.
|
| 245 |
1 |
4 |
|a The unprovability of consistency :
|b an essay in modal logic /
|c George Boolos.
|
| 260 |
|
|
|a Cambridge ;
|a New York :
|b Cambridge University Press,
|c 1979.
|
| 300 |
|
|
|a viii, 184 p. ;
|c 22 cm.
|
| 500 |
|
|
|a Includes index.
|
| 504 |
|
|
|a Bibliography: p. 180-182.
|
| 650 |
|
0 |
|a Modality (Logic)
|
| 650 |
|
0 |
|a Proof theory.
|
| 852 |
8 |
|
|b CARM
|h A2:AP18G0
|i B06848
|p 0331495
|f BK
|
| 999 |
f |
f |
|i 74d378d6-3f07-5bd1-b54b-4b9c3e2b0961
|s 189b42aa-4eb4-54f1-b5fe-845669c1bf66
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e B06848
|f A2:AP18G0
|h Other scheme
|i book
|m 0331495
|