|
|
|
|
| LEADER |
01141nam a22003135a 4500 |
| 001 |
23908 |
| 003 |
AR-SrUBC |
| 005 |
20210617165305.0 |
| 007 |
t||||||||||||| |
| 008 |
010113m|||||||||||#||||r|||||||||||spa|| |
| 020 |
|
|
|a 086720463X
|
| 040 |
|
|
|a AR-SrUBC
|b spa
|e rcaa2
|
| 080 |
|
|
|a 510.6=20
|2 2000 ES
|
| 100 |
1 |
|
|a Causey, Robert L.
|9 45686
|
| 245 |
1 |
0 |
|a Logic, sets, and recursion.
|c Robert L. Causey.
|
| 260 |
|
|
|a Boston :
|b Jones and Bartlett,
|c 1994.
|
| 300 |
|
|
|a x, 405 p. ;
|c 24 cm.
|
| 336 |
|
|
|a texto
|2 rdacontent
|
| 337 |
|
|
|a sin mediación
|2 rdamedia
|
| 338 |
|
|
|a volumen
|2 rdacarrier
|
| 490 |
|
4 |
|a The Jones and Bartlett series in computer science
|
| 505 |
0 |
0 |
|a Contenido: Introduction. Sentential calculus. Basic set theory. Recursion and mathematical induction. Predicate calcululus.
|
| 650 |
|
7 |
|a LOGICA MATEMATICA
|2 lemb3
|9 45687
|
| 650 |
|
7 |
|a LOGICA SIMBOLICA
|2 lemb3
|9 10609
|
| 650 |
|
7 |
|a CALCULO PROPOSICIONAL
|2 lemb3
|9 45688
|
| 650 |
|
7 |
|a CALCULO DE PREDICADOS
|2 lemb3
|9 45689
|
| 650 |
|
7 |
|a TEORIA DE CONJUNTOS
|2 lemb3
|9 7599
|
| 942 |
|
|
|2 cdu
|b 2001-01-13
|c BK
|d 025733
|h 510.6=20
|i CAUl
|z MI
|6 510620_CAUL
|
| 999 |
|
|
|c 23908
|d 23908
|