Biblioteca del Dpto. de Ciencias e Ingeniería de la Computación ·
Catálogo
|
|
LDR | ·····nam##22·····#a#4500 |
001 | 001298 |
005 | 20151130133645.0 |
008 | 970306s1996####sw#######b####001#0#eng## |
245 | 10 | $a Applied logic / $c Kaj Børge Hansen. |
260 | ## | $a Uppsala : $b AUU, $c 1996. |
300 | ## | $a 257 p. ; $c 25 cm. |
440 | #0 | $a Acta Universitatis Upsaliensis. $p Studia Philosophica Upsaliensia, $x 0585-5497 ; $v 3 |
504 | ## | $a Incluye referencias bibliográficas e índice. |
020 | ## | $a 9155438458 |
100 | 1# | $a Hansen, Kaj Børge. |
082 | 00 | $a 160 $2 21 |
650 | #0 | $a Logic. |
650 | #0 | $a Logic, Symbolic and mathematical. |
010 | ## | $a ###97124059# |
040 | ## | $a DLC $c DLC |
050 | 00 | $a BC71 $b .H23 1996 |