| 000 | 00369pam a2200133a 44500 | ||
|---|---|---|---|
| 040 | _aP K Kelkar Library, IIT Kanpur | ||
| 082 |
_a162 _bP891n |
||
| 100 | _aPrawitz, Dag | ||
| 245 | 0 |
_aNatural deduction _ba proof-theoretical study _cDag Prawitz |
|
| 260 |
_aStockholm _bAlmqvist & Wiksell _c1965 |
||
| 300 | _a113p | ||
| 650 | _aPhilosophy | ||
| 997 | _aK6040 C | ||
| 999 |
_c390851 _d390851 |
||