|
|
|
|
| LEADER |
00670nam a2200169 i 4500 |
| 008 |
750718s1974 enk b 001 0 eng |
| 082 |
0 |
0 |
|a 501
|
| 100 |
1 |
|
|a Schlesinger, G.
|
| 245 |
1 |
0 |
|a Confirmation and confirmability /
|c G. Schlesinger.
|
| 260 |
|
|
|a Oxford ;
|a New York :
|b Clarendon Press,
|c 1974.
|
| 300 |
|
|
|a viii, 109 p. ;
|c 21 cm.
|
| 504 |
|
|
|a Includes bibliographical references and index.
|
| 650 |
|
0 |
|a Verification (Logic)
|
| 906 |
|
|
|a 7
|b cbc
|c orignew
|d 3
|e ncip
|f 19
|g y-gencatlg
|
| 942 |
|
|
|c BK
|
| 999 |
|
|
|c 276048
|d 276048
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 501_000000000000000_SCH_C
|7 0
|9 310569
|a PHL
|b PHL
|c ST1
|d 2015-08-03
|i 1346
|l 1
|o 501 SCH/C
|p PHL1346
|q 2021-11-21
|r 2021-10-22
|s 2021-10-22
|y BK
|