|
|
|
|
| LEADER |
01107nam a2200313 a 4500 |
| 001 |
c000186465 |
| 003 |
CARM |
| 005 |
20051012153919.0 |
| 008 |
800221s1979 ne b 001 0 eng |
| 010 |
|
|
|a 79321551 //r85
|
| 015 |
|
|
|a Ne***
|
| 019 |
1 |
|
|a 1649835
|5 LACONCORD2021
|
| 020 |
|
|
|a 906196122X
|
| 035 |
|
|
|a (OCoLC)5282304
|5 LACONCORD2021
|
| 040 |
|
|
|a LC
|b eng
|c LC
|d LC
|
| 050 |
0 |
0 |
|a QA9.47
|b .L44
|
| 082 |
0 |
4 |
|a 511/.2
|
| 100 |
1 |
|
|a Leivant, Daniel Maurice Raphaël.
|
| 245 |
1 |
0 |
|a Absoluteness of intuitionistic logic /
|c D. M. R. Leivant.
|
| 260 |
|
|
|a Amsterdam :
|b Mathematisch Centrum,
|c 1979.
|
| 300 |
|
|
|a ix, 137 p. ;
|c 24 cm.
|
| 490 |
1 |
|
|a Mathematical Centre tracts
|v 73
|
| 504 |
|
|
|a Includes bibliographical references and indexes.
|
| 650 |
|
0 |
|a Intuitionistic mathematics.
|
| 650 |
|
0 |
|a Proof theory.
|
| 830 |
|
0 |
|a Mathematical Centre tracts
|v 73.
|
| 852 |
8 |
|
|b CARM
|h A2:AP32F0
|i C07692
|p 0260510
|f BK
|
| 999 |
f |
f |
|i 1cbeb0ed-0e14-5848-85ea-287c1ea1d7da
|s e80df3d6-9a62-59ae-b174-b217760d4fe2
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C07692
|f A2:AP32F0
|h Other scheme
|i book
|m 0260510
|