| 000 | 00656n a2200241#a 4500 | ||
|---|---|---|---|
| 001 | 17447 | ||
| 003 | P5A | ||
| 005 | 20231123161621.0 | ||
| 008 | 980605s1992 enk 000 0 eng d | ||
| 035 | _aocm39235127 | ||
| 040 |
_aP5A _bpor _cP5A |
||
| 049 | _aP5AA | ||
| 082 |
_a511.3 _bC646a |
||
| 090 | _alf1 | ||
| 100 | 1 |
_aClote, Peter. _933970 |
|
| 245 | 1 | 0 |
_aArithmetic, proof theory, and computational complexity/ _cPeter Clote. |
| 250 | _a[1st ed.] | ||
| 260 |
_aOxford: _bClarendon Press, _c1992. |
||
| 300 | _a428 p. | ||
| 697 |
_aLógica e Fundamentos 01- _xFundamentos e Textos Gerais. _923723 |
||
| 700 | 1 | _aKrajícek, Jan. | |
| 942 |
_2impa _cBK |
||
| 999 |
_c18014 _d18014 |
||