| 000 | 00751nam a2200229Ia 4500 | ||
|---|---|---|---|
| 008 | 131122s9999 xx 000 0 und d | ||
| 020 | _a0-8218-1364-1 | ||
| 040 | _aISI KOLKATA | ||
| 041 | _aEnglish | ||
| 082 |
_a510 _bAm512c |
||
| 100 | _aCarnielli Walter A ed. | ||
| 110 | _aBrazilian Conference on Mathematical Logic (11th ; 6-10 May 1996 : Bahia,Brazil) | ||
| 111 |
_aBrazilian conference on mathematical logic _cBahia, Brazil _d6-10 May 1996 |
||
| 245 |
_aAdvances in contemporary logic and computer science _bproceedings |
||
| 260 |
_aProvidence _bAMS _c1999 |
||
| 300 | _axi,326p. | ||
| 440 | _aContemporary mathematics; 235 | ||
| 650 | _aComputer logic | ||
| 650 | _aMathematical logic | ||
| 650 | _aSymbolic logic | ||
| 942 | _cBK | ||
| 999 |
_c109579 _d109579 |
||