| 000 | 00563 a2200205 4500 | ||
|---|---|---|---|
| 001 | 132522 | ||
| 003 | OSt | ||
| 005 | 20220111160518.0 | ||
| 008 | |||
| 020 | _a9781842655665 | ||
| 082 |
_a510 _bW18I |
||
| 100 | 1 | _aWang, Guo-Jun | |
| 245 | 1 |
_aIntroduction to mathematical logic and resolution principles _cby Guo-Jun Wang and Hong-Jun Zhou |
|
| 250 | _a2nd ed. | ||
| 260 |
_aBeijing _bScience Press _c2009 |
||
| 300 | _a335p. | ||
| 690 | _aLogic, Symbolic and mathematical | ||
| 700 | _aZhou, Hong-Jun | ||
| 942 |
_2ddc _cBK |
||
| 999 |
_c6885 _d6885 |
||