|
|
|
|
| LEADER |
01136nab a22003134ac4500 |
| 001 |
000268576 |
| 005 |
20161115154302.0 |
| 008 |
161115c20169999cr r 000 0|spa d |
| 040 |
|
|
|a Sistema de Bibliotecas del Tecnológico de Costa Rica
|
| 099 |
|
9 |
|a R
|
| 100 |
1 |
|
|a Martínez, Iveth
|
| 245 |
1 |
0 |
|a Problemas de decisión y recursividad en sistemas lógicos formales =
|b Decision problems and recursiveness in formal logic systems /
|c Iveth Martínez, Eduardo Piza.
|
| 336 |
|
|
|a texto
|b txt
|2 rdacontenido
|
| 337 |
|
|
|a no mediado
|b n
|2 rdamedio
|
| 338 |
|
|
|a volumen
|b nc
|2 rdaportador
|
| 535 |
1 |
|
|a Sala de Colecciones abiertas
|
| 546 |
|
|
|a Español
|
| 590 |
|
|
|a R20418
|
| 590 |
|
|
|a MATE
|
| 650 |
1 |
7 |
|a Lógica
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Teorías
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Demostración
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Símbolos
|2 Tesauro SIBITEC
|
| 650 |
1 |
7 |
|a Funciones
|2 Tesauro SIBITEC
|
| 655 |
|
4 |
|a Artículos de revista
|
| 700 |
1 |
|
|a Piza, Eduardo
|
| 773 |
1 |
|
|t Revista de matemática: teoría y aplicaciones.
|g Volumen 23, número 1 (enero/junio, 2016), páginas 11-39
|
| 902 |
|
|
|a Xiomara
|b 2016/11/15
|
| 905 |
|
|
|a BJFF_ANA
|