| 000 | 00631pam a2200217 a 4500 | ||
|---|---|---|---|
| 008 | 910409s1992 enka b 001 0 eng | ||
| 020 | _a0415023351 | ||
| 020 | _a9780415023351 | ||
| 040 | _aSDU | ||
| 050 | 0 | 0 |
_aQA9 _bP962 1991 |
| 245 | 0 | 0 |
_aProof, logic, and formalization / _cedited by Michael Detlefsen. |
| 260 |
_aLondon ; _aNew York : _bRoutledge, _c1992. |
||
| 300 |
_a241 p. : _bill. |
||
| 505 | _aHKBU library | ||
| 518 | _aYT2025 M10 | ||
| 650 | 0 |
_aProof theory. _9192967 |
|
| 650 | 0 | _aLogic, Symbolic and mathematical. | |
| 700 | 1 |
_aDetlefsen, Michael, _d1948- _9192968 |
|
| 900 | _a= C.1 SDU | ||
| 942 |
_cGBE _2lcc |
||
| 999 |
_c103900 _d103900 |
||