|
|
|
|
| LEADER |
00653cam a22002292u 4500 |
| 001 |
LIBRI-007602 |
| 003 |
AR-CrUNPB |
| 007 |
ta |
| 008 |
170901s1995 xxu r 000 0 eng d |
| 040 |
|
|
|a AR-CrUNPB
|
| 082 |
0 |
|
|a 511.3/K.29-1
|2 20
|
| 100 |
1 |
|
|a Krajicek, Jan
|
| 245 |
1 |
0 |
|a Bounded arithmetic, propositional logic, and complexity theory /
|c Jan Krajicek
|
| 255 |
|
|
|a .3
|
| 260 |
|
|
|a Nueva York :
|b Cambridge,
|c 1995
|
| 300 |
|
|
|a xiii,338 p
|
| 490 |
0 |
|
|a Encyclopedia of mathematics and its applications ;
|v 60
|
| 590 |
|
|
|a Registros migrados a formato MARC
|
| 650 |
|
7 |
|a LOGICA
|2 Unescot
|9 4291
|
| 942 |
|
|
|c BK
|
| 910 |
|
|
|a ms990303
|
| 999 |
|
|
|c 58974
|d 58974
|