|
|
|
|
| LEADER |
00000cam a22000002a 4500 |
| 001 |
ocm39051675 |
| 003 |
OCoLC |
| 005 |
20141204195137.0 |
| 008 |
041014s1998 nyu 00 0 eng d |
| 035 |
|
|
|a (Sirsi) i9780444898401
|
| 040 |
|
|
|a DLC
|c DLC
|d UV#
|
| 015 |
|
|
|a GB98-60258
|
| 020 |
|
|
|a 0444898409
|
| 050 |
|
4 |
|a QA9.54
|b H36
|
| 082 |
0 |
0 |
|a 511.3
|2 21
|
| 245 |
0 |
0 |
|a Handbook of proof theory /
|c edited by Samuel R. Buss.
|
| 260 |
|
|
|a New York :
|b Elsevier,
|c 1998.
|
| 300 |
|
|
|a 811 p. ;
|c 23 cm.
|
| 490 |
0 |
0 |
|a Studies in logic and the foundations of mathematics ;
|v v. 137
|
| 504 |
|
|
|a Incluye notas bibliográficas.
|
| 650 |
|
4 |
|a Teoría de la prueba.
|
| 650 |
|
4 |
|a Lógica matemática.
|
| 700 |
1 |
|
|a Buss, Samuel R.
|
| 901 |
|
|
|a Z0
|b UV#
|
| 596 |
|
|
|a 2
|
| 942 |
|
|
|c LIBRO
|
| 999 |
|
|
|c 173428
|d 173428
|
