|
|
|
|
LEADER |
00853nam a2200241 u 4500 |
001 |
000254356 |
005 |
20110720143301.0 |
008 |
s1979 s1964 gw ||||| eng |
020 |
|
|
|a 3540095012
|
035 |
|
|
|a 116522
|
040 |
|
|
|a Sistema de Bibliotecas de la Universidad de Costa Rica
|
041 |
0 |
|
|a eng
|
082 |
0 |
|
|a 510.82
|b L468L
|2 00
|
100 |
1 |
|
|a Ferrante, Jeanne
|d 1949-
|e Autor/a
|4 aut
|
245 |
1 |
4 |
|a The Computational complexity of logical theories /
|c Jeanne Ferrante, Charles W. Rackoff. --
|
260 |
|
|
|a Berlín :
|b Springer,
|c 1964-.
|
300 |
|
|
|a x 243 páginas ;
|c 24 cm
|
500 |
|
|
|a En: Lecture notes in mathematics. -- Berlin. v. 718 (1979)
|
650 |
|
|
|a LOGICA, SIMBOLICA Y MATEMATICA
|
700 |
1 |
|
|a Rackoff, Charles W.
|d 1948-
|e Autor/a
|4 aut
|
773 |
0 |
|
|7 nnam
|t Lecture notes in mathematics. n. 1-
|
949 |
|
|
|a LA. b SR.
|
916 |
|
|
|a Registros del LS-2000
|