|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 003 |
AR-LpUFIB |
| 005 |
20250423183316.0 |
| 008 |
230201m19851990xxu r 000 0 eng d |
| 020 |
|
|
|a 0201182602 (v.1)
|
| 024 |
8 |
|
|a DIF-M640
|b 645
|z DIF008381
|
| 040 |
|
|
|a AR-LpUFIB
|b spa
|c AR-LpUFIB
|
| 100 |
1 |
|
|a Manna, Zohar
|9 47118
|
| 245 |
1 |
0 |
|a The logical basis for computer programming
|
| 260 |
|
|
|a Reading :
|b [S.n.],
|c c1985-1990
|
| 300 |
|
|
|a 2 v. ;
|c 23 cm.
|
| 490 |
0 |
|
|a Addison-Wesley series in computer science
|
| 500 |
|
|
|a Volumen I: Deductive reasoning. Volumen II: Deductive systems
|
| 650 |
|
4 |
|a LÓGICA COMPUTACIONAL
|9 44273
|
| 650 |
|
4 |
|a LÓGICA MATEMÁTICA
|9 20777
|
| 700 |
1 |
|
|a Waldinger, Richard
|9 50806
|
| 942 |
|
|
|c BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 F41_MAN_V1
|7 0
|9 84725
|a DIF
|b DIF
|d 2006-07-17
|i DIF-00890
|l 0
|o F.4.1 MAN v.1
|p DIF-00890
|r 2025-03-11 17:05:39
|w 2025-03-11
|y BK
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 F41_MAN_V2
|7 0
|9 84726
|a DIF
|b DIF
|d 2006-07-17
|i DIF-00891
|l 0
|o F.4.1 MAN v.2
|p DIF-00891
|r 2025-03-11 17:05:39
|w 2025-03-11
|y BK
|
| 999 |
|
|
|c 58149
|d 58149
|
