|
|
|
|
| LEADER |
00000cam a22000002a 4500 |
| 001 |
ocm36701972 |
| 003 |
OCoLC |
| 005 |
20150815140329.0 |
| 008 |
040827s1997 ne a b 001 0 eng d |
| 035 |
|
|
|a (Sirsi) i9780444895059
|
| 040 |
|
|
|a DLC
|d UV#
|
| 020 |
|
|
|a 0444895051
|
| 050 |
|
4 |
|a QA9
|b R92
|
| 082 |
|
4 |
|a 511.3
|2 21
|
| 100 |
1 |
|
|a Rybakov, Vladimir V.
|q (Vladimir Vladimir),
|d 1961-
|
| 245 |
1 |
0 |
|a Admissibility of logical inference rules
|c / Vladimir V. Rybakov.
|
| 260 |
|
|
|a Amsterdam
|b : Elsevier,
|c 1997.
|
| 300 |
|
|
|a 617 p.
|b : il.
|c ; 23 cm.
|
| 490 |
0 |
0 |
|a Studies in logic and the foundations of mathematics
|v ; 136
|
| 504 |
|
|
|a Incluye bibliografías.
|
| 650 |
|
4 |
|a Lógica simbólica y matemática.
|9 359229
|
| 650 |
|
4 |
|a Inferencia.
|
| 596 |
|
|
|a 2
|
| 942 |
|
|
|c LIBRO
|6 _
|
| 999 |
|
|
|c 171272
|d 171272
|
