|
|
|
|
| LEADER |
01187nam a2200313 i 4500 |
| 001 |
c000056495 |
| 003 |
CARM |
| 005 |
00000000000000.0 |
| 008 |
s1974 enk 00110 eng d |
| 015 |
|
|
|a B7410248
|
| 019 |
1 |
|
|a 591867
|z 4407445
|5 LACONCORD2021
|
| 020 |
|
|
|a 0444104771
|
| 020 |
|
|
|a 0720422728 :
|c L.7.65
|
| 020 |
|
|
|a 0720422000
|
| 035 |
|
|
|a (OCoLC)949471
|5 LACONCORD2021
|
| 050 |
0 |
0 |
|a BC128
|
| 100 |
1 |
|
|a Craig, William,
|d b.1918.
|
| 245 |
1 |
0 |
|a Logic in algebraic form :
|b three languages and theories /
|c William Craig.
|
| 260 |
|
|
|a Amsterdam ;
|a London :
|b North-Holland Publishing Co.,
|c 1974.
|
| 300 |
|
|
|a viii, 204 p. ;
|c 23cm.
|
| 440 |
|
|
|a Studies in logic and the foundations of mathematics ;
|v vol.72
|
| 500 |
|
|
|a First order predicate logic. Algebraization (BNB/PRECIS)
|
| 504 |
|
|
|a Bibliography: p.182-183. - Includes index.
|
| 650 |
|
0 |
|a First-order logic.
|
| 650 |
|
0 |
|a Predicate (Logic)
|
| 852 |
8 |
|
|b CARM
|h A2:AD08A0
|i B00466
|p 0023926
|f BK
|
| 082 |
0 |
4 |
|a 511/.32
|2 18
|
| 999 |
f |
f |
|i ee4e7594-1d1f-542d-9941-116d038b80e0
|s 240a0587-e789-5850-8f01-a6893b4e9407
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e B00466
|f A2:AD08A0
|h Other scheme
|i book
|m 0023926
|