|
|
|
|
| LEADER |
00780nam a2200229 u 4500 |
| 001 |
000297981 |
| 005 |
20140409100304.0 |
| 008 |
s1979 s1979 xxu ||||| eng |
| 020 |
|
|
|a 0444194673
|
| 035 |
|
|
|a 91341
|
| 040 |
|
|
|a Sistema de Bibliotecas de la Universidad de Costa Rica
|
| 041 |
0 |
|
|a eng
|
| 082 |
0 |
|
|a 511.3
|b R662L
|2 00
|
| 100 |
1 |
|
|a Robinson, John Alan
|e Autor/a
|4 aut
|
| 245 |
1 |
0 |
|a Logic, form and function :
|b the mechanization of deductive reasoning /
|c J. A. Robinson
|
| 260 |
|
|
|a New York, New York :
|b Elsevier North Holland Biomedical Press,
|c 1979.
|
| 300 |
|
|
|a vi, 312 páginas :
|b ilustraciones ;
|c 22 cm
|
| 650 |
|
|
|a RAZONAMIENTO
|
| 650 |
|
|
|a FORMA (LOGICA)
|
| 912 |
|
|
|a 09-APR-2014 - MURILLO HERNANDEZ, XINIA
|
| 949 |
|
|
|a -GA b LGL
|
| 916 |
|
|
|a Registros del LS-2000
|