|
|
|
|
LEADER |
01161nam a22003015a 4500 |
001 |
20937 |
003 |
AR-SrUBC |
005 |
20210826121615.0 |
007 |
t||||||||||||| |
008 |
000401m||||||||enk#||||r|||||||||||spa|| |
999 |
|
|
|c 20937
|d 20937
|
020 |
|
|
|a 0198538626
|
040 |
|
|
|a AR-SrUBC
|b spa
|e rcaa2
|
080 |
|
|
|a 510.62=20
|2 1995 ES
|
245 |
1 |
0 |
|a Logic :
|b from foundations to applications : European logic colloquium /
|c edited by Wilfrid Hodges ... [et al].
|
260 |
|
|
|a Oxford :
|b Clarendon Press,
|c 1996.
|
300 |
|
|
|a xiii, 536 p. ;
|c 24 cm.
|
336 |
|
|
|a texto
|2 rdacontent
|
337 |
|
|
|a sin mediación
|2 rdamedia
|
338 |
|
|
|a volumen
|2 rdacarrier
|
490 |
|
0 |
|a Oxford science publications
|
500 |
|
|
|a "Logic colloquium '93 was a European meeting of the Association for Symbolic Logic. It took place at the University of Keele, Staffordshire, England from 20 to 29 July 1993".--Preface.
|
650 |
|
7 |
|a LOGICA MATEMATICA
|2 lemb2
|9 40411
|
700 |
1 |
|
|a Hodges, Wilfrid
|9 40412
|
700 |
1 |
|
|a Hyland, Martin
|9 40413
|
700 |
1 |
|
|a Steinhorn, Charles
|9 40414
|
700 |
1 |
|
|a Truss, John
|9 40415
|
942 |
|
|
|2 cdu
|b 2000-04-01
|c BK
|d 022133
|h 510.62=20
|i LOGh
|z NO
|6 5106220_LOGH
|