| 000 | 00655nam a2200205 a 4500 | ||
|---|---|---|---|
| 003 | AR-ReUNN | ||
| 005 | 20260702145616.0 | ||
| 008 | 260701s1939 us |||||||||||||||||eng | ||
| 041 | 0 | _aeng | |
| 100 | 1 |
_aMckinsey, J. C. C. _993563 |
|
| 245 | 1 | 0 | _aProof of the independence of the primitive symbols of Heyting's calculus of propositions |
| 264 | 1 |
_aNew York _bAssociation of Symbolic Logic _c1939 |
|
| 500 | _aThe journal of symbolic logic. Vol. 4, Nº 4 December, 1939. | ||
| 650 | 4 |
_aHeyting, Arend, 1898-1980 _993728 |
|
| 650 | 4 |
_aLogica Matematica _910245 |
|
| 650 | 4 |
_aCalculo _916562 |
|
| 942 | _cFOLL | ||
| 035 | _a(FIL)189848 | ||
| 001 | 170695 | ||
| 999 |
_c170695 _d170695 |
||
| 040 |
_aAR-ReUNN _bspa _cAR-ReUNN _eaacr2 |
||